Solving Constraint Integer Programs
single clique, stating that at most one of the binary variables can be fixed to the corresponding value
Definition at line 64 of file struct_implics.h.
#include <struct_implics.h>
variables in the clique
Definition at line 66 of file struct_implics.h.
Referenced by cliqueCheck(), cliqueCleanup(), cliqueEnsureSize(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliqueGetVars(), SCIPcliquelistCheck(), SCIPcliqueSearchVar(), and SCIPcliquetableCleanup().
values of the variables in the clique
Definition at line 67 of file struct_implics.h.
Referenced by cliqueCheck(), cliqueCleanup(), cliqueEnsureSize(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliqueGetValues(), SCIPcliquelistCheck(), SCIPcliqueSearchVar(), and SCIPcliquetableCleanup().
number of variables in the clique
Definition at line 68 of file struct_implics.h.
Referenced by cliqueCheck(), cliqueCleanup(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPcliqueAddVar(), SCIPcliqueGetNVars(), SCIPcliquelistRemoveFromCliques(), SCIPcliqueSearchVar(), and SCIPcliquetableCleanup().
size of vars and values arrays
Definition at line 69 of file struct_implics.h.
Referenced by cliqueEnsureSize().
clean up position to start with
Definition at line 70 of file struct_implics.h.
Referenced by cliqueCheck(), cliqueCleanup(), SCIPcliqueDelVar(), and SCIPcliqueIsCleanedUp().
the index of the clique in the cliquetable cliques array
Definition at line 71 of file struct_implics.h.
Referenced by cliqueCheck(), cliquetableMarkCliqueForCleanup(), cliquetableSwapCliques(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().
unique identifier of clique
Definition at line 72 of file struct_implics.h.
Referenced by cliqueCleanup(), cliquesSearchClique(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliqueGetId(), SCIPcliquelistAdd(), SCIPcliquelistDel(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcliquetableCleanup(), and sortAndMergeClique().
were the IMPLADDED events on the variables already issued?
Definition at line 73 of file struct_implics.h.
Referenced by SCIPcliqueAddVar(), and SCIPcliquetableCleanup().
is the clique an equation or an inequality?
Definition at line 74 of file struct_implics.h.
Referenced by cliqueCleanup(), SCIPcliqueIsEquation(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().