Nauty Class Reference

#include <Nauty.h>

List of all members.

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.
void	getVstat (double *v, int nv)
void	setWriteAutoms (const std::string &afilename)
	Methods to classify orbits.
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 [static, private]

Definition at line 88 of file Nauty.h.

double Nauty::nautyTime_ = 0.0 [static, private]

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:

• /home/coin/svn-release/OS-2.10.0/Couenne/src/branch/Nauty.h
• /home/coin/svn-release/OS-2.10.0/Couenne/src/branch/Nauty.cpp