33#ifndef __SCIP_PUB_IMPLICS_H__
34#define __SCIP_PUB_IMPLICS_H__
122#define SCIPcliqueGetNVars(clique) ((clique)->nvars)
123#define SCIPcliqueGetVars(clique) ((clique)->vars)
124#define SCIPcliqueGetValues(clique) ((clique)->values)
125#define SCIPcliqueGetId(clique) ((clique)->id)
126#define SCIPcliqueGetIndex(clique) ((clique)->index)
127#define SCIPcliqueIsCleanedUp(clique) ((clique)->startcleanup == -1)
128#define SCIPcliqueIsEquation(clique) ((SCIP_Bool)(clique)->equation)
common defines and data types used in all packages of SCIP
SCIP_VAR ** SCIPcliqueGetVars(SCIP_CLIQUE *clique)
int SCIPcliqueGetNVars(SCIP_CLIQUE *clique)
SCIP_Bool * SCIPcliqueGetValues(SCIP_CLIQUE *clique)
SCIP_Bool SCIPcliqueHasVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value)
SCIP_Bool SCIPcliqueIsCleanedUp(SCIP_CLIQUE *clique)
int SCIPcliqueGetIndex(SCIP_CLIQUE *clique)
int SCIPcliqueSearchVar(SCIP_CLIQUE *clique, SCIP_VAR *var, SCIP_Bool value)
SCIP_Bool SCIPcliqueIsEquation(SCIP_CLIQUE *clique)
unsigned int SCIPcliqueGetId(SCIP_CLIQUE *clique)
datastructures for implications, variable bounds, and cliques
type definitions for implications, variable bounds, and cliques
struct SCIP_Clique SCIP_CLIQUE
type definitions for problem variables