equal
deleted
inserted
replaced
70 const G1 &_g1; |
70 const G1 &_g1; |
71 |
71 |
72 //The graph into which g1 is to be embedded |
72 //The graph into which g1 is to be embedded |
73 const G2 &_g2; |
73 const G2 &_g2; |
74 |
74 |
75 //Current depth in the search tree. |
75 //Current depth in the search tree |
76 int _depth; |
76 int _depth; |
77 |
77 |
78 //The current mapping. _mapping[v1]=v2 iff v1 has been mapped to v2, |
78 //The current mapping. _mapping[v1]=v2 iff v1 has been mapped to v2, |
79 //where v1 is a node of G1 and v2 is a node of G2 |
79 //where v1 is a node of G1 and v2 is a node of G2 |
80 M &_mapping; |
80 M &_mapping; |