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(), dejavuhook(), 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(), dejavuhook(), 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(), dejavuhook(), and sassyhook().
◆ nperms
| int SYMMETRY_Data::nperms |
number of permutations
Definition at line 58 of file compute_symmetry_dejavu.cpp.
Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), 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(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().
◆ nmaxperms
| int SYMMETRY_Data::nmaxperms |
maximal number of permutations
Definition at line 60 of file compute_symmetry_dejavu.cpp.
Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), 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(), dejavuhook(), sassyhook(), 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(), dejavuhook(), and sassyhook().