#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_ = 0 |
static double | nautyTime_ = 0.0 |
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 | ( | ) |
Definition at line 134 of file Nauty.cpp.
References active_, afp_, autoComputed_, canonG_, G_, lab_, m_, n_, nautyCalls_, nautyTime_, options_, orbits_, ptn_, stats_, vstat_, worksize_, and workspace_.
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 |
Definition at line 211 of file Nauty.cpp.
References autoComputed_, and stats_.
Referenced by getOrbits().
std::vector< std::vector< int > > * Nauty::getOrbits | ( | ) | const |
Returns the orbits in a "convenient" form.
Definition at line 218 of file Nauty.cpp.
References autoComputed_, getNumOrbits(), it, n_, and orbits_.
void Nauty::getVstat | ( | double * | v, | |
int | nv | |||
) |
graph* Nauty::G_ [private] |
Definition at line 69 of file Nauty.h.
Referenced by addElement(), computeAuto(), deleteElement(), Nauty(), and ~Nauty().
int* Nauty::lab_ [private] |
int* Nauty::ptn_ [private] |
set* Nauty::active_ [private] |
int* Nauty::orbits_ [private] |
Definition at line 73 of file Nauty.h.
Referenced by computeAuto(), getOrbits(), Nauty(), and ~Nauty().
optionblk* Nauty::options_ [private] |
statsblk* Nauty::stats_ [private] |
Definition at line 75 of file Nauty.h.
Referenced by computeAuto(), getGroupSize(), getNumGenerators(), getNumOrbits(), Nauty(), and ~Nauty().
setword* Nauty::workspace_ [private] |
int Nauty::worksize_ [private] |
int Nauty::m_ [private] |
Definition at line 78 of file Nauty.h.
Referenced by addElement(), computeAuto(), deleteElement(), and Nauty().
int Nauty::n_ [private] |
Definition at line 79 of file Nauty.h.
Referenced by addElement(), clearPartitions(), computeAuto(), deleteElement(), getN(), getOrbits(), getVstat(), and Nauty().
graph* Nauty::canonG_ [private] |
bool Nauty::autoComputed_ [private] |
Definition at line 82 of file Nauty.h.
Referenced by addElement(), clearPartitions(), computeAuto(), deleteElement(), getGroupSize(), getNumGenerators(), getNumOrbits(), and getOrbits().
int* Nauty::vstat_ [private] |
Definition at line 84 of file Nauty.h.
Referenced by clearPartitions(), color_node(), computeAuto(), getVstat(), Nauty(), and ~Nauty().
int Nauty::nautyCalls_ = 0 [static, private] |
double Nauty::nautyTime_ = 0.0 [static, private] |
std::multimap<int,int> Nauty::constr_rhs [private] |
std::multimap<int,int>::iterator Nauty::it [private] |
std::pair<std::multimap<int,int>::iterator, std::multimap<int,int>::iterator> Nauty::ret [private] |
FILE* Nauty::afp_ [private] |