struct_hook Struct Reference

Detailed Description

saves information of the permutation

Definition at line 108 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::Seeed *seeed, gcg::Seeedpool *seeedpool)
 
 ~struct_hook ()
 
SCIP_Bool getBool ()
 
void setBool (SCIP_Bool aut)
 
SCIP * getScip ()
 
gcg::SeeedgetSeeed ()
 
gcg::SeeedpoolgetSeeedpool ()
 

Public Attributes

SCIP_Bool aut
 
unsigned int n
 
SCIP * scip
 
int * conssperm
 
gcg::Seeedseeed
 
gcg::Seeedpoolseeedpool
 

Constructor & Destructor Documentation

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 183 of file dec_isomorph.cpp.

References aut, conssperm, n, seeed, and seeedpool.

struct_hook::struct_hook ( SCIP_Bool  aut_,
unsigned int  n_,
SCIP *  scip_,
gcg::Seeed seeed_,
gcg::Seeedpool seeedpool_ 
)

constructor for the hook struct with a seeed

constructor of the hook struct

Parameters
aut_true if there is an automorphism
n_number of permutations
scip_scip to search for automorphisms
seeed_seeed to propagate
seeedpool_seeedpool

Definition at line 198 of file dec_isomorph.cpp.

References aut, conssperm, gcg::Seeedpool::getNConss(), n, seeed, and seeedpool.

struct_hook::~struct_hook ( )

Definition at line 214 of file dec_isomorph.cpp.

References conssperm.

Member Function Documentation

SCIP_Bool struct_hook::getBool ( )

getter for the bool aut

Definition at line 163 of file dec_isomorph.cpp.

Referenced by detectIsomorph().

SCIP * struct_hook::getScip ( )

getter for the SCIP

Definition at line 148 of file dec_isomorph.cpp.

Referenced by fhook().

gcg::Seeed * struct_hook::getSeeed ( )

getter for the seeed

Definition at line 153 of file dec_isomorph.cpp.

Referenced by fhookForSeeeds().

gcg::Seeedpool * struct_hook::getSeeedpool ( )

getter for the seeedpool

Definition at line 158 of file dec_isomorph.cpp.

Referenced by fhookForSeeeds().

void struct_hook::setBool ( SCIP_Bool  aut)

setter for the bool aut

Definition at line 168 of file dec_isomorph.cpp.

Referenced by fhook(), and fhookForSeeeds().

Member Data Documentation

SCIP_Bool struct_hook::aut

true if there is an automorphism

Definition at line 110 of file dec_isomorph.cpp.

Referenced by struct_hook().

int* struct_hook::conssperm

permutations of conss

Definition at line 113 of file dec_isomorph.cpp.

Referenced by detectIsomorph(), fhook(), fhookForSeeeds(), struct_hook(), and ~struct_hook().

unsigned int struct_hook::n

number of permutations

Definition at line 111 of file dec_isomorph.cpp.

Referenced by struct_hook().

SCIP* struct_hook::scip

scip to search for automorphisms

Definition at line 112 of file dec_isomorph.cpp.

Referenced by detectIsomorph().

gcg::Seeed* struct_hook::seeed

seeed to propagate

Definition at line 114 of file dec_isomorph.cpp.

Referenced by DEC_DECL_PROPAGATESEEED(), detectIsomorph(), fhookForSeeeds(), and struct_hook().

gcg::Seeedpool* struct_hook::seeedpool

seeedpool

Definition at line 115 of file dec_isomorph.cpp.

Referenced by detectIsomorph(), fhookForSeeeds(), and struct_hook().