SCIP_CliqueList Struct Reference
Detailed Description
list of cliques for a single variable
Definition at line 89 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 91 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 92 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 93 of file struct_implics.h.
Referenced by cliquelistEnsureSize().