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