NAUTY_Data Struct Reference

Detailed Description

struct for nauty callback

Definition at line 65 of file compute_symmetry_nauty.c.

Data Fields
SCIP *	scip
SYM_SYMTYPE	symtype
int	npermvars
int	nperms
int **	perms
int	nmaxperms
int	maxgenerators
SCIP_Bool	restricttovars
int	ntreenodes
int	maxncells
int	maxnnodes

Field Documentation

scip

SCIP * NAUTY_Data::scip

SCIP pointer

Definition at line 67 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyhook(), nautyterminationhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

symtype

SYM_SYMTYPE NAUTY_Data::symtype

type of symmetries that need to be computed

Definition at line 68 of file compute_symmetry_nauty.c.

Referenced by createOrDetermineSizeGraph(), createOrDetermineSizeGraphCheck(), nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

npermvars

int NAUTY_Data::npermvars

number of variables for permutations

Definition at line 69 of file compute_symmetry_nauty.c.

Referenced by nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

nperms

int NAUTY_Data::nperms

number of permutations

Definition at line 70 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

perms

int** NAUTY_Data::perms

permutation generators as (nperms x npermvars) matrix

Definition at line 71 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

nmaxperms

int NAUTY_Data::nmaxperms

maximal number of permutations

Definition at line 72 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

maxgenerators

int NAUTY_Data::maxgenerators

maximal number of generators to be constructed (= 0 if unlimited)

Definition at line 73 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

restricttovars

SCIP_Bool NAUTY_Data::restricttovars

whether permutations shall be restricted to variables

Definition at line 74 of file compute_symmetry_nauty.c.

Referenced by nautyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

ntreenodes

int NAUTY_Data::ntreenodes

number of nodes visited in nauty's search tree

number of nodes visitied in nauty's search tree

Definition at line 75 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyterminationhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

maxncells

int NAUTY_Data::maxncells

maximum number of cells in nauty's search tree

Definition at line 76 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyterminationhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

maxnnodes

int NAUTY_Data::maxnnodes

maximum number of nodes in nauty's search tree

Definition at line 77 of file compute_symmetry_nauty.c.

Referenced by computeAutomorphisms(), nautyterminationhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().