SYMMETRY_Data Struct Reference

Detailed Description

struct for symmetry callback

Definition at line 81 of file compute_symmetry_sassy.cpp.

Data Fields
SCIP *	scip
int	npermvars
int	nperms
int **	perms
int	nmaxperms
int	maxgenerators

Field Documentation

scip

SCIP* SYMMETRY_Data::scip

SCIP pointer

Definition at line 83 of file compute_symmetry_sassy.cpp.

Referenced by sassyhook(), and SYMcomputeSymmetryGenerators().

npermvars

int SYMMETRY_Data::npermvars

number of variables for permutations

Definition at line 84 of file compute_symmetry_sassy.cpp.

Referenced by determineGraphSize(), fillGraphByConss(), sassyhook(), and SYMcomputeSymmetryGenerators().

nperms

int SYMMETRY_Data::nperms

number of permutations

Definition at line 85 of file compute_symmetry_sassy.cpp.

Referenced by sassyhook(), and SYMcomputeSymmetryGenerators().

perms

int** SYMMETRY_Data::perms

permutation generators as (nperms x npermvars) matrix

Definition at line 86 of file compute_symmetry_sassy.cpp.

Referenced by sassyhook(), and SYMcomputeSymmetryGenerators().

nmaxperms

int SYMMETRY_Data::nmaxperms

maximal number of permutations

Definition at line 87 of file compute_symmetry_sassy.cpp.

Referenced by sassyhook(), and SYMcomputeSymmetryGenerators().

maxgenerators

int SYMMETRY_Data::maxgenerators

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

Definition at line 88 of file compute_symmetry_sassy.cpp.

Referenced by sassyhook(), and SYMcomputeSymmetryGenerators().