SCIP_CliqueList Struct Reference

Detailed Description

list of cliques for a single variable

Definition at line 80 of file struct_implics.h.

#include <struct_implics.h>

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

Field Documentation

cliques

SCIP_CLIQUE** SCIP_CliqueList::cliques[2]

cliques the variable fixed to FALSE/TRUE is member of

Definition at line 82 of file struct_implics.h.

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

ncliques

int SCIP_CliqueList::ncliques[2]

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

Definition at line 83 of file struct_implics.h.

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

size

int SCIP_CliqueList::size[2]

size of cliques arrays

Definition at line 84 of file struct_implics.h.

Referenced by cliquelistEnsureSize().