public methods for implications, variable bounds, and cliques
Definition in file pub_implics.h.
Go to the source code of this file.
Functions | |
int | SCIPcliqueSearchVar (SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value) |
SCIP_Bool | SCIPcliqueHasVar (SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value) |
int | SCIPcliqueGetNVars (SCIP_CLIQUE *clique) |
SCIP_VAR ** | SCIPcliqueGetVars (SCIP_CLIQUE *clique) |
SCIP_Bool * | SCIPcliqueGetValues (SCIP_CLIQUE *clique) |
unsigned int | SCIPcliqueGetId (SCIP_CLIQUE *clique) |
int | SCIPcliqueGetIndex (SCIP_CLIQUE *clique) |
SCIP_Bool | SCIPcliqueIsCleanedUp (SCIP_CLIQUE *clique) |
SCIP_Bool | SCIPcliqueIsEquation (SCIP_CLIQUE *clique) |
int SCIPcliqueSearchVar | ( | SCIP_CLIQUE * | clique, |
SCIP_VAR * | var, | ||
SCIP_Bool | value | ||
) |
returns the position of the given variable/value pair in the clique; returns -1 if variable/value pair is not member of the clique
clique | clique data structure |
var | variable to search for |
value | value of the variable in the clique |
Definition at line 1059 of file implics.c.
References SCIP_Clique::nvars, SCIPvarGetIndex(), SCIP_Clique::values, and SCIP_Clique::vars.
Referenced by SCIPcliqueDelVar(), SCIPcliqueHasVar(), and SCIPcliquelistCheck().
SCIP_Bool SCIPcliqueHasVar | ( | SCIP_CLIQUE * | clique, |
SCIP_VAR * | var, | ||
SCIP_Bool | value | ||
) |
returns whether the given variable/value pair is member of the given clique
clique | clique data structure |
var | variable to remove from the clique |
value | value of the variable in the clique |
Definition at line 1119 of file implics.c.
References SCIPcliqueSearchVar().
int SCIPcliqueGetNVars | ( | SCIP_CLIQUE * | clique | ) |
gets number of variables in the cliques
clique | clique data structure |
Definition at line 3343 of file implics.c.
References SCIP_Clique::nvars.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), extractCycle(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), and tcliquegraphConstructCliqueTable().
SCIP_VAR** SCIPcliqueGetVars | ( | SCIP_CLIQUE * | clique | ) |
gets array of active problem variables in the cliques
clique | clique data structure |
Definition at line 3353 of file implics.c.
References SCIP_Clique::vars.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), extractCycle(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), and tcliquegraphConstructCliqueTable().
SCIP_Bool* SCIPcliqueGetValues | ( | SCIP_CLIQUE * | clique | ) |
gets array of values of active problem variables in the cliques, i.e. whether the variable is fixed to FALSE or to TRUE in the clique
clique | clique data structure |
Definition at line 3365 of file implics.c.
References SCIP_Clique::values.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), extractCycle(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), and tcliquegraphConstructCliqueTable().
unsigned int SCIPcliqueGetId | ( | SCIP_CLIQUE * | clique | ) |
gets unique identifier of the clique
clique | clique data structure |
Definition at line 3375 of file implics.c.
References SCIP_Clique::id.
Referenced by SCIP_DECL_HASHKEYEQ(), SCIPcliquelistsHaveCommonClique(), and tcliquegraphAddNode().
int SCIPcliqueGetIndex | ( | SCIP_CLIQUE * | clique | ) |
gets index of the clique in the clique table
clique | clique data structure |
Definition at line 3389 of file implics.c.
References SCIP_Clique::index.
SCIP_Bool SCIPcliqueIsCleanedUp | ( | SCIP_CLIQUE * | clique | ) |
returns whether the given clique is cleaned up
gets unique identifier of the clique
clique | clique data structure |
Definition at line 3399 of file implics.c.
References SCIP_Clique::startcleanup.
Referenced by cliqueCleanup(), cliquetableMarkCliqueForCleanup(), SCIPcliquetableCleanup(), and SCIPvarGetImplRedcost().
SCIP_Bool SCIPcliqueIsEquation | ( | SCIP_CLIQUE * | clique | ) |
return whether the given clique is an equation
clique | clique data structure |
Definition at line 3409 of file implics.c.
References SCIP_Clique::equation, and SCIP_Bool.
Referenced by extractCycle(), SCIPcopyImplicationsCliques(), and separateCuts().