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 65 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

◆ vars

◆ values

◆ nvars

◆ size

int SCIP_Clique::size

size of vars and values arrays

Definition at line 70 of file struct_implics.h.

Referenced by cliqueEnsureSize().

◆ startcleanup

int SCIP_Clique::startcleanup

clean up position to start with

Definition at line 71 of file struct_implics.h.

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

◆ index

int SCIP_Clique::index

◆ id

◆ eventsissued

unsigned int SCIP_Clique::eventsissued

were the IMPLADDED events on the variables already issued?

Definition at line 74 of file struct_implics.h.

Referenced by SCIPcliqueAddVar().

◆ equation

unsigned int SCIP_Clique::equation

is the clique an equation or an inequality?

Definition at line 75 of file struct_implics.h.

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