Detailed Description
saves information of the permutation
Definition at line 54 of file bliss_automorph.cpp.
Public Member Functions | |
AUT_HOOK2 (SCIP_HASHMAP *varmap, SCIP_HASHMAP *consmap, SCIP_Bool aut, unsigned int n, SCIP **scips) | |
~AUT_HOOK2 () | |
SCIP_Bool | getBool () |
void | setBool (SCIP_Bool aut) |
void | setNewDetectionStuff (gcg::DETPROBDATA *detprobdata, gcg::PARTIALDECOMP *partialdec, std::vector< int > *blocks) |
unsigned int | getNNodes () |
SCIP_HASHMAP * | getVarHash () |
SCIP_HASHMAP * | getConsHash () |
SCIP ** | getScips () |
Data Fields | |
SCIP_Bool | aut |
unsigned int | n |
SCIP_HASHMAP * | varmap |
SCIP_HASHMAP * | consmap |
SCIP ** | scips |
int * | nodemap |
int * | conssperm |
gcg::DETPROBDATA * | detprobdata |
gcg::PARTIALDECOMP * | partialdec |
std::vector< int > * | blocks |
SCIP * | scip |
int | ncalls |
Constructor & Destructor Documentation
◆ AUT_HOOK2()
AUT_HOOK2::AUT_HOOK2 | ( | SCIP_HASHMAP * | varmap_, |
SCIP_HASHMAP * | consmap_, | ||
SCIP_Bool | aut_, | ||
unsigned int | n_, | ||
SCIP ** | scips_ | ||
) |
constructor for the hook struct
constructor of the hook struct
- Parameters
-
varmap_ hashmap for permutated variables consmap_ hashmap for permutated constraints aut_ true if there is an automorphism n_ number of permutations scips_ array of scips to search for automorphisms
Definition at line 172 of file bliss_automorph.cpp.
References aut, blocks, consmap, conssperm, detprobdata, n, ncalls, nodemap, partialdec, scip, scips, and varmap.
◆ ~AUT_HOOK2()
AUT_HOOK2::~AUT_HOOK2 | ( | ) |
destructor for hook struct
Definition at line 134 of file bliss_automorph.cpp.
References conssperm, detprobdata, nodemap, partialdec, and scip.
Member Function Documentation
◆ getBool()
SCIP_Bool AUT_HOOK2::getBool | ( | ) |
getter for the bool aut
Definition at line 146 of file bliss_automorph.cpp.
References aut.
Referenced by cmpGraphPair(), and fhook().
◆ setBool()
void AUT_HOOK2::setBool | ( | SCIP_Bool | aut | ) |
setter for the bool aut
Definition at line 112 of file bliss_automorph.cpp.
References aut.
Referenced by fhook().
◆ setNewDetectionStuff()
void AUT_HOOK2::setNewDetectionStuff | ( | gcg::DETPROBDATA * | detprobdata, |
gcg::PARTIALDECOMP * | partialdec, | ||
std::vector< int > * | blocks | ||
) |
setter for new detection stuff
Definition at line 118 of file bliss_automorph.cpp.
References blocks, conssperm, detprobdata, gcg::DETPROBDATA::getNConss(), gcg::DETPROBDATA::getScip(), partialdec, and scip.
Referenced by cmpGraphPair().
◆ getNNodes()
unsigned int AUT_HOOK2::getNNodes | ( | ) |
getter for the number of nodes
Definition at line 151 of file bliss_automorph.cpp.
References n.
Referenced by fhook().
◆ getVarHash()
SCIP_HASHMAP * AUT_HOOK2::getVarHash | ( | ) |
getter for the variables hashmap
Definition at line 156 of file bliss_automorph.cpp.
References varmap.
Referenced by fhook().
◆ getConsHash()
SCIP_HASHMAP * AUT_HOOK2::getConsHash | ( | ) |
getter for the constraints hashmap
Definition at line 161 of file bliss_automorph.cpp.
References consmap.
Referenced by fhook().
◆ getScips()
SCIP ** AUT_HOOK2::getScips | ( | ) |
getter for the SCIPs
Definition at line 166 of file bliss_automorph.cpp.
References scips.
Referenced by fhook().
Field Documentation
◆ aut
SCIP_Bool AUT_HOOK2::aut |
true if there is an automorphism
Definition at line 56 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), getBool(), and setBool().
◆ n
unsigned int AUT_HOOK2::n |
number of permutations
Definition at line 57 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), and getNNodes().
◆ varmap
SCIP_HASHMAP* AUT_HOOK2::varmap |
hashmap for permutated variables
Definition at line 58 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), and getVarHash().
◆ consmap
SCIP_HASHMAP* AUT_HOOK2::consmap |
hashmap for permutated constraints
Definition at line 59 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), and getConsHash().
◆ scips
SCIP** AUT_HOOK2::scips |
array of scips to search for automorphisms
Definition at line 60 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), and getScips().
◆ nodemap
int* AUT_HOOK2::nodemap |
mapping of the nodes; filled generator-wise
Definition at line 61 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), fhook(), and ~AUT_HOOK2().
◆ conssperm
int* AUT_HOOK2::conssperm |
mapping of constraints
Definition at line 62 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), setNewDetectionStuff(), and ~AUT_HOOK2().
◆ detprobdata
gcg::DETPROBDATA* AUT_HOOK2::detprobdata |
problem information the automorphism should be searched for
Definition at line 63 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), fhook(), setNewDetectionStuff(), and ~AUT_HOOK2().
◆ partialdec
gcg::PARTIALDECOMP* AUT_HOOK2::partialdec |
decomposition information
Definition at line 64 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), fhook(), setNewDetectionStuff(), and ~AUT_HOOK2().
◆ blocks
std::vector<int>* AUT_HOOK2::blocks |
array of blocks the automporphisms are searched for
Definition at line 65 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), fhook(), and setNewDetectionStuff().
◆ scip
SCIP* AUT_HOOK2::scip |
Definition at line 66 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), setNewDetectionStuff(), and ~AUT_HOOK2().
◆ ncalls
int AUT_HOOK2::ncalls |
Definition at line 67 of file bliss_automorph.cpp.
Referenced by AUT_HOOK2(), cmpGraphPair(), and fhook().