Scippy

SCIP

Solving Constraint Integer Programs

SCIP_CliqueTable Struct Reference

Detailed Description

collection of cliques

Definition at line 88 of file struct_implics.h.

#include <struct_implics.h>

Data Fields

SCIP_HASHTABLEhashtable
 
SCIP_HASHMAPvaridxtable
 
SCIP_DISJOINTSETdjset
 
SCIP_CLIQUE ** cliques
 
SCIP_Longint nentries
 
int ncliques
 
int size
 
int ncreatedcliques
 
int ncleanupfixedvars
 
int ncleanupaggrvars
 
int ndirtycliques
 
int ncliquecomponents
 
SCIP_Bool incleanup
 
SCIP_Bool compsfromscratch
 

Field Documentation

◆ hashtable

SCIP_HASHTABLE* SCIP_CliqueTable::hashtable

hash table holding all cliques

Definition at line 90 of file struct_implics.h.

Referenced by SCIPcliquetableAdd(), and SCIPcliquetableCleanup().

◆ varidxtable

SCIP_HASHMAP* SCIP_CliqueTable::varidxtable

mapping from binary variable to their corresponding node indices

Definition at line 91 of file struct_implics.h.

Referenced by cliquetableGetNodeIndexBinvar(), and SCIPcliquetableComputeCliqueComponents().

◆ djset

SCIP_DISJOINTSET* SCIP_CliqueTable::djset

disjoint set (union find) data structure to maintain component information

Definition at line 92 of file struct_implics.h.

Referenced by cliquetableUpdateConnectednessClique(), SCIPcliquetableComputeCliqueComponents(), SCIPcliquetableGetVarComponentIdx(), and SCIPcliquetableNeedsComponentUpdate().

◆ cliques

◆ nentries

SCIP_Longint SCIP_CliqueTable::nentries

number of entries in the whole clique table

Definition at line 94 of file struct_implics.h.

Referenced by cliqueCleanup(), SCIPcliquetableAdd(), SCIPcliquetableCleanup(), and SCIPcliquetableGetNEntries().

◆ ncliques

int SCIP_CliqueTable::ncliques

◆ size

int SCIP_CliqueTable::size

size of cliques array

Definition at line 96 of file struct_implics.h.

Referenced by cliquetableEnsureSize().

◆ ncreatedcliques

int SCIP_CliqueTable::ncreatedcliques

number of ever created cliques

Definition at line 97 of file struct_implics.h.

Referenced by SCIPcliquetableAdd(), and SCIPcliquetableGetNCliquesCreated().

◆ ncleanupfixedvars

int SCIP_CliqueTable::ncleanupfixedvars

number of fixed variables when the last cleanup was performed

Definition at line 98 of file struct_implics.h.

Referenced by SCIPcliquetableCleanup().

◆ ncleanupaggrvars

int SCIP_CliqueTable::ncleanupaggrvars

number of aggregated variables when the last cleanup was performed

Definition at line 99 of file struct_implics.h.

Referenced by SCIPcliquetableCleanup().

◆ ndirtycliques

int SCIP_CliqueTable::ndirtycliques

number of cliques stored when the last cleanup was performed

Definition at line 100 of file struct_implics.h.

Referenced by cliquetableMarkCliqueForCleanup(), and SCIPcliquetableCleanup().

◆ ncliquecomponents

int SCIP_CliqueTable::ncliquecomponents

number of connected components in clique graph

Definition at line 101 of file struct_implics.h.

Referenced by SCIPcliquetableComputeCliqueComponents(), and SCIPcliquetableGetNCliqueComponents().

◆ incleanup

SCIP_Bool SCIP_CliqueTable::incleanup

is this clique table currently performing cleanup?

Definition at line 102 of file struct_implics.h.

Referenced by SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), and SCIPcliquetableCleanup().

◆ compsfromscratch

SCIP_Bool SCIP_CliqueTable::compsfromscratch

must the connected components of the clique graph be recomputed from scratch?

Definition at line 103 of file struct_implics.h.

Referenced by cliquetableGetNodeIndexBinvar(), cliquetableUpdateConnectednessClique(), SCIPcliquetableComputeCliqueComponents(), SCIPcliquetableGetNCliqueComponents(), and SCIPcliquetableNeedsComponentUpdate().