SCIP Doxygen Documentation
 
Loading...
Searching...
No Matches
SYMMETRY_Data Struct Reference

Detailed Description

struct for symmetry callback

Definition at line 82 of file compute_symmetry_sassy_bliss.cpp.

Data Fields

SCIPscip
 
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 84 of file compute_symmetry_sassy_bliss.cpp.

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

◆ symtype

SYM_SYMTYPE SYMMETRY_Data::symtype

type of symmetries that need to be computed

Definition at line 85 of file compute_symmetry_sassy_bliss.cpp.

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

◆ npermvars

int SYMMETRY_Data::npermvars

number of variables for permutations

Definition at line 86 of file compute_symmetry_sassy_bliss.cpp.

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

◆ nperms

◆ perms

int ** SYMMETRY_Data::perms

◆ nmaxperms

◆ maxgenerators

int SYMMETRY_Data::maxgenerators

maximal number of generators constructed (= 0 if unlimited)

Definition at line 90 of file compute_symmetry_sassy_bliss.cpp.

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

◆ restricttovars

SCIP_Bool SYMMETRY_Data::restricttovars

whether permutations shall be restricted to variables

Definition at line 91 of file compute_symmetry_sassy_bliss.cpp.

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