Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_CliqueTable Struct Reference

    Detailed Description

    collection of cliques

    Definition at line 97 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 99 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 100 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 101 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 103 of file struct_implics.h.

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

    ◆ ncliques

    int SCIP_CliqueTable::ncliques

    ◆ size

    int SCIP_CliqueTable::size

    size of cliques array

    Definition at line 105 of file struct_implics.h.

    Referenced by cliquetableEnsureSize().

    ◆ ncreatedcliques

    int SCIP_CliqueTable::ncreatedcliques

    number of ever created cliques

    Definition at line 106 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 107 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 108 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 109 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 110 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 111 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 112 of file struct_implics.h.

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