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;
int getNumGenerators() const
std::vector< std::vector< int > > * getOrbits() const
Returns the orbits in a "convenient" form.
double getGroupSize() const
int getNautyCalls() const
void color_node(int ix, int color)
void getVstat(double *v, int nv)
double getNautyTime() const
void addElement(int ix, int jx)
void setWriteAutoms(const std::string &afilename)
Methods to classify orbits.
void deleteElement(int ix, int jx)
void insertRHS(int rhs, int cons)