36 void color_node(
int ix,
int color) { vstat_[ix] = color; }
37 void insertRHS(
int rhs ,
int cons) {constr_rhs.insert( std::pair<int,int>(rhs,cons));}
43 int getN()
const {
return n_; }
88 static int nautyCalls_;
89 static double nautyTime_;
91 std::multimap<int,int> constr_rhs;
92 std::multimap<int,int>::iterator it;
94 std::pair<std::multimap<int,int>::iterator,
95 std::multimap<int,int>::iterator> ret;