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 1081 of file implics.c.
References assert(), i, NULL, SCIP_Bool, SCIPvarGetIndex(), var, and varidx.
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 1141 of file implics.c.
References SCIP_Bool, SCIPcliqueSearchVar(), and var.
Referenced by addRltTerm(), and getBinaryProductExpr().
int SCIPcliqueGetNVars | ( | SCIP_CLIQUE * | clique | ) |
gets number of variables in the cliques
clique | clique data structure |
Definition at line 3370 of file implics.c.
References assert(), and NULL.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), createConflictGraphSST(), dfs(), dfs(), extractCycle(), getCliqueUnfixedVars(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), tcliquegraphConstructCliqueTable(), and tightenWeightsLift().
SCIP_VAR ** SCIPcliqueGetVars | ( | SCIP_CLIQUE * | clique | ) |
gets array of active problem variables in the cliques
clique | clique data structure |
Definition at line 3380 of file implics.c.
References assert(), and NULL.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), createConflictGraphSST(), dfs(), dfs(), extractCycle(), getCliqueUnfixedVars(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), tcliquegraphConstructCliqueTable(), and tightenWeightsLift().
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 3392 of file implics.c.
References assert(), NULL, and SCIP_Bool.
Referenced by addGLSCliques(), addNextLevelCliques(), applyCliqueFixings(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), dfs(), extractCycle(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistDel(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarAddClique(), SCIPvarGetImplRedcost(), SCIPwriteCliqueGraph(), separateCuts(), tarjan(), tcliquegraphConstructCliqueTable(), and tightenWeightsLift().
unsigned int SCIPcliqueGetId | ( | SCIP_CLIQUE * | clique | ) |
gets unique identifier of the clique
clique | clique data structure |
Definition at line 3402 of file implics.c.
References assert(), and NULL.
Referenced by createConflictGraphSST(), SCIP_DECL_HASHKEYVAL(), SCIPcliquelistsHaveCommonClique(), and tcliquegraphAddNode().
int SCIPcliqueGetIndex | ( | SCIP_CLIQUE * | clique | ) |
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 3426 of file implics.c.
References assert(), NULL, and SCIP_Bool.
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 3436 of file implics.c.
References assert(), NULL, and SCIP_Bool.
Referenced by extractCycle(), SCIPcopyImplicationsCliques(), and separateCuts().