Nauty Class Reference

#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_ = 0
static double	nautyTime_ = 0.0

Detailed Description

Definition at line 23 of file Nauty.h.

Member Enumeration Documentation

enum Nauty::VarStatus

Enumerator
FIX_AT_ZERO
FIX_AT_ONE
FREE

Definition at line 27 of file Nauty.h.

Constructor & Destructor Documentation

Nauty::Nauty

(

int

n_

)

Apparently sizes are skewed on 64bit machines

Definition at line 25 of file Nauty.cpp.

Nauty::~Nauty

(

)

Definition at line 92 of file Nauty.cpp.

Nauty::Nauty ( )

private

Member Function Documentation

void Nauty::addElement	(	int	ix,
		int	jx
	)

Definition at line 108 of file Nauty.cpp.

void Nauty::clearPartitions

(

)

Definition at line 123 of file Nauty.cpp.

void Nauty::computeAuto

(

)

Definition at line 134 of file Nauty.cpp.

void Nauty::deleteElement	(	int	ix,
		int	jx
	)

Definition at line 182 of file Nauty.cpp.

void Nauty::color_node ( int  ix, int  color  )

inline

Definition at line 36 of file Nauty.h.

void Nauty::insertRHS ( int  rhs, int  cons  )

inline

Definition at line 37 of file Nauty.h.

double Nauty::getGroupSize

(

)

const

Definition at line 194 of file Nauty.cpp.

int Nauty::getNautyCalls ( ) const

inline

Definition at line 40 of file Nauty.h.

double Nauty::getNautyTime ( ) const

inline

Definition at line 41 of file Nauty.h.

int Nauty::getN ( ) const

inline

Definition at line 43 of file Nauty.h.

int Nauty::getNumGenerators

(

)

const

Definition at line 201 of file Nauty.cpp.

int Nauty::getNumOrbits

(

)

const

Definition at line 208 of file Nauty.cpp.

std::vector< std::vector< int > > * Nauty::getOrbits

(

)

const

Returns the orbits in a "convenient" form.

Definition at line 215 of file Nauty.cpp.

void Nauty::getVstat	(	double *	v,
		int	nv
	)

Definition at line 243 of file Nauty.cpp.

void Nauty::setWriteAutoms

(

const std::string &

afilename

)

Methods to classify orbits.

Not horribly efficient, but gets the job done

Definition at line 302 of file Nauty.cpp.

void Nauty::unsetWriteAutoms

(

)

Definition at line 312 of file Nauty.cpp.

Member Data Documentation

graph* Nauty::G_

private

Definition at line 71 of file Nauty.h.

int* Nauty::lab_

private

Definition at line 72 of file Nauty.h.

int* Nauty::ptn_

private

Definition at line 73 of file Nauty.h.

set* Nauty::active_

private

Definition at line 74 of file Nauty.h.

int* Nauty::orbits_

private

Definition at line 75 of file Nauty.h.

optionblk* Nauty::options_

private

Definition at line 76 of file Nauty.h.

statsblk* Nauty::stats_

private

Definition at line 77 of file Nauty.h.

setword* Nauty::workspace_

private

Definition at line 78 of file Nauty.h.

int Nauty::worksize_

private

Definition at line 79 of file Nauty.h.

int Nauty::m_

private

Definition at line 80 of file Nauty.h.

int Nauty::n_

private

Definition at line 81 of file Nauty.h.

graph* Nauty::canonG_

private

Definition at line 82 of file Nauty.h.

bool Nauty::autoComputed_

private

Definition at line 84 of file Nauty.h.

int* Nauty::vstat_

private

Definition at line 86 of file Nauty.h.

int Nauty::nautyCalls_ = 0

staticprivate

Definition at line 88 of file Nauty.h.

double Nauty::nautyTime_ = 0.0

staticprivate

Definition at line 89 of file Nauty.h.

std::multimap<int,int> Nauty::constr_rhs

private

Definition at line 91 of file Nauty.h.

std::multimap<int,int>::iterator Nauty::it

private

Definition at line 92 of file Nauty.h.

std::pair<std::multimap<int,int>::iterator, std::multimap<int,int>::iterator> Nauty::ret

private

Definition at line 95 of file Nauty.h.

FILE* Nauty::afp_

private

Definition at line 98 of file Nauty.h.

---

The documentation for this class was generated from the following files:

• /tmp/OS-2.10.2/Couenne/src/branch/Nauty.h
• /tmp/OS-2.10.2/Couenne/src/branch/Nauty.cpp