Couenne
0.2
|
#include <Nauty.h>
Public Types | |
enum | VarStatus { FIX_AT_ZERO, FIX_AT_ONE, FREE } |
Public Member Functions | |
Nauty (int n_) | |
~Nauty () | |
void | addElement (int ix, int jx) |
void | clearPartitions () |
void | computeAuto () |
void | deleteElement (int ix, int jx) |
void | color_node (int ix, int color) |
void | insertRHS (int rhs, int cons) |
double | getGroupSize () const |
int | getNautyCalls () const |
double | getNautyTime () const |
int | getN () const |
int | getNumGenerators () const |
int | getNumOrbits () const |
std::vector< std::vector< int > > * | getOrbits () const |
Returns the orbits in a "convenient" form. More... | |
void | getVstat (double *v, int nv) |
void | setWriteAutoms (const std::string &afilename) |
Methods to classify orbits. More... | |
void | unsetWriteAutoms () |
Private Member Functions | |
Nauty () | |
Private Attributes | |
graph * | G_ |
int * | lab_ |
int * | ptn_ |
set * | active_ |
int * | orbits_ |
optionblk * | options_ |
statsblk * | stats_ |
setword * | workspace_ |
int | worksize_ |
int | m_ |
int | n_ |
graph * | canonG_ |
bool | autoComputed_ |
int * | vstat_ |
std::multimap< int, int > | constr_rhs |
std::multimap< int, int >::iterator | it |
std::pair< std::multimap< int, int >::iterator, std::multimap < int, int >::iterator > | ret |
FILE * | afp_ |
Static Private Attributes | |
static int | nautyCalls_ |
static double | nautyTime_ |
enum Nauty::VarStatus |
Nauty::Nauty | ( | int | n_ | ) |
Nauty::~Nauty | ( | ) |
|
private |
void Nauty::addElement | ( | int | ix, |
int | jx | ||
) |
void Nauty::clearPartitions | ( | ) |
void Nauty::computeAuto | ( | ) |
void Nauty::deleteElement | ( | int | ix, |
int | jx | ||
) |
|
inline |
|
inline |
Definition at line 37 of file Nauty.h.
References constr_rhs.
double Nauty::getGroupSize | ( | ) | const |
|
inline |
Definition at line 40 of file Nauty.h.
References nautyCalls_.
|
inline |
Definition at line 41 of file Nauty.h.
References nautyTime_.
int Nauty::getNumGenerators | ( | ) | const |
int Nauty::getNumOrbits | ( | ) | const |
std::vector<std::vector<int> >* Nauty::getOrbits | ( | ) | const |
Returns the orbits in a "convenient" form.
void Nauty::getVstat | ( | double * | v, |
int | nv | ||
) |
void Nauty::setWriteAutoms | ( | const std::string & | afilename | ) |
Methods to classify orbits.
Not horribly efficient, but gets the job done
void Nauty::unsetWriteAutoms | ( | ) |
|
private |
Definition at line 86 of file Nauty.h.
Referenced by color_node().
|
staticprivate |
Definition at line 88 of file Nauty.h.
Referenced by getNautyCalls().
|
staticprivate |
Definition at line 89 of file Nauty.h.
Referenced by getNautyTime().
|
private |
Definition at line 91 of file Nauty.h.
Referenced by insertRHS().
|
private |