SYMMETRY_Data Struct Reference

Detailed Description

struct for symmetry callback

Definition at line 53 of file compute_symmetry_dejavu.cpp.

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

Field Documentation

scip

SCIP * SYMMETRY_Data::scip

SCIP pointer

Definition at line 55 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), and sassyhook().

symtype

SYM_SYMTYPE SYMMETRY_Data::symtype

type of symmetries that need to be computed

Definition at line 56 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), and sassyhook().

npermvars

int SYMMETRY_Data::npermvars

number of variables for permutations

Definition at line 57 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), and sassyhook().

nperms

int SYMMETRY_Data::nperms

number of permutations

Definition at line 58 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), sassyhook(), SYMcheckGraphsAreIdentical(), SYMcomputeSymmetryGenerators(), and SYMcomputeSymmetryGenerators().

perms

int ** SYMMETRY_Data::perms

permutation generators as (nperms x npermvars) matrix

Definition at line 59 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), sassyhook(), SYMcheckGraphsAreIdentical(), SYMcomputeSymmetryGenerators(), and SYMcomputeSymmetryGenerators().

nmaxperms

int SYMMETRY_Data::nmaxperms

maximal number of permutations

Definition at line 60 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), sassyhook(), SYMcheckGraphsAreIdentical(), SYMcomputeSymmetryGenerators(), and SYMcomputeSymmetryGenerators().

maxgenerators

int SYMMETRY_Data::maxgenerators

maximal number of generators constructed (= 0 if unlimited)

Definition at line 61 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), sassyhook(), SYMcomputeSymmetryGenerators(), and SYMcomputeSymmetryGenerators().

restricttovars

SCIP_Bool SYMMETRY_Data::restricttovars

whether permutations shall be restricted to variables

Definition at line 62 of file compute_symmetry_dejavu.cpp.

Referenced by computeAutomorphisms(), computeAutomorphisms(), computeAutomorphisms(), dejavuhook(), sassyhook(), and sassyhook().