Scippy

SCIP

Solving Constraint Integer Programs

SCIP_CliqueList Struct Reference

Detailed Description

list of cliques for a single variable

Definition at line 78 of file struct_implics.h.

#include <struct_implics.h>

Data Fields

SCIP_CLIQUE ** cliques [2]
 
int ncliques [2]
 
int size [2]
 

Field Documentation

SCIP_CLIQUE** SCIP_CliqueList::cliques[2]

cliques the variable fixed to FALSE/TRUE is member of

Definition at line 80 of file struct_implics.h.

Referenced by cliquelistEnsureSize(), SCIPcliquelistGetCliques(), SCIPcliquelistRemoveFromCliques(), and SCIPcliquelistsHaveCommonClique().

int SCIP_CliqueList::ncliques[2]

number of cliques the variable fixed to FALSE/TRUE is member of

Definition at line 81 of file struct_implics.h.

Referenced by SCIPcliquelistAdd(), SCIPcliquelistDel(), SCIPcliquelistGetNCliques(), SCIPcliquelistRemoveFromCliques(), and SCIPcliquelistsHaveCommonClique().

int SCIP_CliqueList::size[2]

size of cliques arrays

Definition at line 82 of file struct_implics.h.

Referenced by cliquelistEnsureSize().