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 66 of file struct_implics.h.

#include <struct_implics.h>

Data Fields

SCIP_VAR ** vars
 
SCIP_Boolvalues
 
int nvars
 
int size
 
unsigned int id:31
 
unsigned int eventsissued:1
 

Field Documentation

int SCIP_Clique::size

size of vars and values arrays

Definition at line 71 of file struct_implics.h.

Referenced by cliqueEnsureSize().

unsigned int SCIP_Clique::id
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().