Detailed Description
saves information of the permutation
Definition at line 101 of file dec_isomorph.cpp.
Public Member Functions | |
struct_hook (SCIP_Bool aut, unsigned int n, SCIP *scip) | |
struct_hook (SCIP_Bool aut, unsigned int n, SCIP *scip, gcg::PARTIALDECOMP *partialdec, gcg::DETPROBDATA *detprobdata) | |
~struct_hook () | |
SCIP_Bool | getBool () |
void | setBool (SCIP_Bool aut) |
SCIP * | getScip () |
gcg::PARTIALDECOMP * | getPartialdec () |
gcg::DETPROBDATA * | getDetprobdata () |
Data Fields | |
SCIP_Bool | aut |
unsigned int | n |
SCIP * | scip |
int * | conssperm |
gcg::PARTIALDECOMP * | partialdec |
gcg::DETPROBDATA * | detprobdata |
Constructor & Destructor Documentation
◆ struct_hook() [1/2]
struct_hook::struct_hook | ( | SCIP_Bool | aut_, |
unsigned int | n_, | ||
SCIP * | scip_ | ||
) |
constructor for the hook struct
constructor of the hook struct
- Parameters
-
aut_ true if there is an automorphism n_ number of permutations scip_ scip to search for automorphisms
Definition at line 176 of file dec_isomorph.cpp.
References aut, conssperm, detprobdata, n, partialdec, and scip.
◆ struct_hook() [2/2]
struct_hook::struct_hook | ( | SCIP_Bool | aut_, |
unsigned int | n_, | ||
SCIP * | scip_, | ||
gcg::PARTIALDECOMP * | partialdec_, | ||
gcg::DETPROBDATA * | detprobdata_ | ||
) |
constructor for the hook struct with a partialdec
constructor of the hook struct
- Parameters
-
aut_ true if there is an automorphism n_ number of permutations scip_ scip to search for automorphisms partialdec_ partial decomposition detprobdata_ detection process information and data
Definition at line 191 of file dec_isomorph.cpp.
References aut, conssperm, detprobdata, gcg::DETPROBDATA::getNConss(), n, partialdec, and scip.
◆ ~struct_hook()
struct_hook::~struct_hook | ( | ) |
Definition at line 207 of file dec_isomorph.cpp.
Member Function Documentation
◆ getBool()
SCIP_Bool struct_hook::getBool | ( | ) |
getter for the bool aut
Definition at line 156 of file dec_isomorph.cpp.
References aut.
Referenced by detectIsomorph().
◆ setBool()
void struct_hook::setBool | ( | SCIP_Bool | aut | ) |
setter for the bool aut
Definition at line 161 of file dec_isomorph.cpp.
References aut.
Referenced by fhook(), and fhookForPartialdecs().
◆ getScip()
SCIP * struct_hook::getScip | ( | ) |
getter for the SCIP
Definition at line 141 of file dec_isomorph.cpp.
References scip.
Referenced by fhook().
◆ getPartialdec()
gcg::PARTIALDECOMP * struct_hook::getPartialdec | ( | ) |
getter for the partialdec
Definition at line 146 of file dec_isomorph.cpp.
References partialdec.
Referenced by fhookForPartialdecs().
◆ getDetprobdata()
gcg::DETPROBDATA * struct_hook::getDetprobdata | ( | ) |
getter for the detprobdata
Definition at line 151 of file dec_isomorph.cpp.
References detprobdata.
Referenced by fhookForPartialdecs().
Field Documentation
◆ aut
SCIP_Bool struct_hook::aut |
true if there is an automorphism
Definition at line 103 of file dec_isomorph.cpp.
Referenced by getBool(), setBool(), and struct_hook().
◆ n
unsigned int struct_hook::n |
number of permutations
Definition at line 104 of file dec_isomorph.cpp.
Referenced by struct_hook().
◆ scip
SCIP* struct_hook::scip |
scip to search for automorphisms
Definition at line 105 of file dec_isomorph.cpp.
Referenced by getScip(), struct_hook(), and ~struct_hook().
◆ conssperm
int* struct_hook::conssperm |
permutations of conss
Definition at line 106 of file dec_isomorph.cpp.
Referenced by detectIsomorph(), fhook(), fhookForPartialdecs(), struct_hook(), and ~struct_hook().
◆ partialdec
gcg::PARTIALDECOMP* struct_hook::partialdec |
partialdec to propagate
Definition at line 107 of file dec_isomorph.cpp.
Referenced by getPartialdec(), and struct_hook().
◆ detprobdata
gcg::DETPROBDATA* struct_hook::detprobdata |
detection process information and data
Definition at line 108 of file dec_isomorph.cpp.
Referenced by getDetprobdata(), and struct_hook().