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 103 /* 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 int SCIPcliqueGetId(SCIP_CLIQUE *clique) SCIP_VAR ** SCIPcliqueGetVars(SCIP_CLIQUE *clique) int SCIPcliqueGetNVars(SCIP_CLIQUE *clique) SCIP_Bool SCIPcliqueHasVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value) type definitions for problem variables SCIP_Bool SCIPcliqueIsCleanedUp(SCIP_CLIQUE *clique) SCIP_Bool SCIPcliqueIsEquation(SCIP_CLIQUE *clique) int SCIPcliqueSearchVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value) common defines and data types used in all packages of SCIP SCIP_Bool * SCIPcliqueGetValues(SCIP_CLIQUE *clique) |