Scippy

SCIP

Solving Constraint Integer Programs

NAUTY_Data Struct Reference

Detailed Description

struct for nauty callback

Definition at line 65 of file compute_symmetry_nauty.c.

Data Fields

SCIPscip
 
SYM_SYMTYPE symtype
 
int npermvars
 
int nperms
 
int ** perms
 
int nmaxperms
 
int maxgenerators
 
SCIP_Bool restricttovars
 

Field Documentation

◆ scip

SCIP* NAUTY_Data::scip

SCIP pointer

Definition at line 67 of file compute_symmetry_nauty.c.

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

◆ symtype

SYM_SYMTYPE NAUTY_Data::symtype

◆ 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 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 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 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 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().