single clique, stating that at most one of the binary variables can be fixed to the corresponding value
Definition at line 75 of file struct_implics.h.
#include <struct_implics.h>
Data Fields | |
SCIP_VAR ** | vars |
SCIP_Bool * | values |
int | nvars |
int | size |
int | startcleanup |
int | index |
unsigned int | id:30 |
unsigned int | eventsissued:1 |
unsigned int | equation:1 |
SCIP_VAR** SCIP_Clique::vars |
variables in the clique
Definition at line 77 of file struct_implics.h.
SCIP_Bool* SCIP_Clique::values |
values of the variables in the clique
Definition at line 78 of file struct_implics.h.
int SCIP_Clique::nvars |
number of variables in the clique
Definition at line 79 of file struct_implics.h.
Referenced by SCIP_DECL_HASHKEYVAL().
int SCIP_Clique::size |
size of vars and values arrays
Definition at line 80 of file struct_implics.h.
int SCIP_Clique::startcleanup |
clean up position to start with
Definition at line 81 of file struct_implics.h.
int SCIP_Clique::index |
the index of the clique in the cliquetable cliques array
Definition at line 82 of file struct_implics.h.
Referenced by cliquetableSwapCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().
unsigned int SCIP_Clique::id |
unique identifier of clique
Definition at line 83 of file struct_implics.h.
Referenced by cliquesSearchClique().
unsigned int SCIP_Clique::eventsissued |
were the IMPLADDED events on the variables already issued?
Definition at line 84 of file struct_implics.h.
unsigned int SCIP_Clique::equation |
is the clique an equation or an inequality?
Definition at line 85 of file struct_implics.h.