Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Clique Struct Reference

Detailed Description

single clique, stating that at most one of the binary variables can be fixed to the corresponding value

Definition at line 64 of file struct_implics.h.

#include <struct_implics.h>

Data Fields

SCIP_VAR ** vars
 
SCIP_Boolvalues
 
int nvars
 
int size
 
int startcleanup
 
int index
 
unsigned int id:30
 
unsigned int eventsissued:1
 
unsigned int equation:1
 

Field Documentation

int SCIP_Clique::size

size of vars and values arrays

Definition at line 69 of file struct_implics.h.

Referenced by cliqueEnsureSize().

int SCIP_Clique::startcleanup

clean up position to start with

Definition at line 70 of file struct_implics.h.

Referenced by cliqueCheck(), cliqueCleanup(), SCIPcliqueDelVar(), and SCIPcliqueIsCleanedUp().

int SCIP_Clique::index
unsigned int SCIP_Clique::eventsissued

were the IMPLADDED events on the variables already issued?

Definition at line 73 of file struct_implics.h.

Referenced by SCIPcliqueAddVar(), and SCIPcliquetableCleanup().

unsigned int SCIP_Clique::equation

is the clique an equation or an inequality?

Definition at line 74 of file struct_implics.h.

Referenced by cliqueCleanup(), SCIPcliqueIsEquation(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().