SCIP Doxygen Documentation
 
Loading...
Searching...
No Matches
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 75 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

SCIP_VAR** SCIP_Clique::vars

variables in the clique

Definition at line 77 of file struct_implics.h.

Referenced by SCIP_DECL_HASHKEYEQ().

◆ values

SCIP_Bool* SCIP_Clique::values

values of the variables in the clique

Definition at line 78 of file struct_implics.h.

Referenced by SCIP_DECL_HASHKEYEQ().

◆ nvars

int SCIP_Clique::nvars

number of variables in the clique

Definition at line 79 of file struct_implics.h.

Referenced by SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), and SCIPcliquetableCleanup().

◆ size

int SCIP_Clique::size

size of vars and values arrays

Definition at line 80 of file struct_implics.h.

◆ startcleanup

int SCIP_Clique::startcleanup

clean up position to start with

Definition at line 81 of file struct_implics.h.

◆ index

int SCIP_Clique::index

the index of the clique in the cliquetable cliques array

Definition at line 82 of file struct_implics.h.

Referenced by cliquetableSwapCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().

◆ id

unsigned int SCIP_Clique::id

unique identifier of clique

Definition at line 83 of file struct_implics.h.

Referenced by cliquesSearchClique(), and SCIPcliquetableAdd().

◆ eventsissued

unsigned int SCIP_Clique::eventsissued

were the IMPLADDED events on the variables already issued?

Definition at line 84 of file struct_implics.h.

◆ equation

unsigned int SCIP_Clique::equation

is the clique an equation or an inequality?

Definition at line 85 of file struct_implics.h.

Referenced by SCIPcliquetableCleanup().