pub_implics.h
Go to the documentation of this file.
31/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
53/** returns the position of the given variable/value pair in the clique; returns -1 if variable/value pair is not member
83/** gets array of values of active problem variables in the cliques, i.e. whether the variable is fixed to FALSE or
118/* In optimized mode, the function calls are overwritten by defines to reduce the number of function calls and
common defines and data types used in all packages of SCIP
SCIP_Bool SCIPcliqueHasVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value)
Definition: implics.c:1141
int SCIPcliqueSearchVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value)
Definition: implics.c:1081
Definition: struct_implics.h:76
Definition: struct_var.h:208
datastructures for implications, variable bounds, and cliques
type definitions for implications, variable bounds, and cliques
type definitions for problem variables