#include <Nauty.h>
Public Types | |
FIX_AT_ZERO | |
FIX_AT_ONE | |
FREE | |
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. | |
void | getVstat (double *v, int nv) |
Private Member Functions | |
Nauty () | |
Methods to classify orbits. | |
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_ |
Definition at line 22 of file Nauty.h.
enum Nauty::VarStatus |
Nauty::Nauty | ( | int | n_ | ) |
Nauty::~Nauty | ( | ) |
Nauty::Nauty | ( | ) | [private] |
Methods to classify orbits.
Not horribly efficient, but gets the job done
void Nauty::addElement | ( | int | ix, | |
int | jx | |||
) |
void Nauty::clearPartitions | ( | ) |
void Nauty::computeAuto | ( | ) |
void Nauty::deleteElement | ( | int | ix, | |
int | jx | |||
) |
void Nauty::color_node | ( | int | ix, | |
int | color | |||
) | [inline] |
void Nauty::insertRHS | ( | int | rhs, | |
int | cons | |||
) | [inline] |
double Nauty::getGroupSize | ( | ) | const |
int Nauty::getNautyCalls | ( | ) | const [inline] |
double Nauty::getNautyTime | ( | ) | const [inline] |
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 | |||
) |
int* Nauty::lab_ [private] |
int* Nauty::ptn_ [private] |
set* Nauty::active_ [private] |
int* Nauty::orbits_ [private] |
optionblk* Nauty::options_ [private] |
statsblk* Nauty::stats_ [private] |
setword* Nauty::workspace_ [private] |
int Nauty::worksize_ [private] |
graph* Nauty::canonG_ [private] |
bool Nauty::autoComputed_ [private] |
int* Nauty::vstat_ [private] |
int Nauty::nautyCalls_ [static, private] |
double Nauty::nautyTime_ [static, private] |
std::multimap<int,int> Nauty::constr_rhs [private] |
std::pair<std::multimap<int,int>::iterator, std::multimap<int,int>::iterator> Nauty::ret [private] |
FILE* Nauty::afp_ [private] |