Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_Cutpool Struct Reference

    Detailed Description

    storage for pooled cuts

    Definition at line 58 of file struct_cutpool.h.

    #include <struct_cutpool.h>

    Data Fields

    SCIP_Longint ncalls
     
    SCIP_Longint nrootcalls
     
    SCIP_Longint ncutsfound
     
    SCIP_Longint ncutsadded
     
    SCIP_CLOCKpoolclock
     
    SCIP_HASHTABLEhashtable
     
    SCIP_CUT ** cuts
     
    SCIP_Longint processedlp
     
    SCIP_Longint processedlpsol
     
    SCIP_Real processedlpefficacy
     
    SCIP_Real processedlpsolefficacy
     
    int cutssize
     
    int ncuts
     
    int nremovablecuts
     
    int agelimit
     
    int firstunprocessed
     
    int firstunprocessedsol
     
    SCIP_Longint maxncuts
     
    SCIP_Bool globalcutpool
     

    Field Documentation

    ◆ ncalls

    SCIP_Longint SCIP_Cutpool::ncalls

    number of times, the cutpool was separated

    Definition at line 60 of file struct_cutpool.h.

    Referenced by SCIPcutpoolAddNCalls(), SCIPcutpoolGetNCalls(), and SCIPcutpoolSeparate().

    ◆ nrootcalls

    SCIP_Longint SCIP_Cutpool::nrootcalls

    number of times, the cutpool was separated at the root

    Definition at line 61 of file struct_cutpool.h.

    Referenced by SCIPcutpoolAddNRootCalls(), SCIPcutpoolGetNRootCalls(), and SCIPcutpoolSeparate().

    ◆ ncutsfound

    SCIP_Longint SCIP_Cutpool::ncutsfound

    total number of cuts that were added to the pool

    Definition at line 62 of file struct_cutpool.h.

    Referenced by SCIPcutpoolAddNCutsFound(), SCIPcutpoolAddNewRow(), and SCIPcutpoolGetNCutsFound().

    ◆ ncutsadded

    SCIP_Longint SCIP_Cutpool::ncutsadded

    total number of cuts that were added from the pool

    Definition at line 63 of file struct_cutpool.h.

    Referenced by SCIPcutpoolAddNCutsAdded(), SCIPcutpoolGetNCutsAdded(), and SCIPcutpoolSeparate().

    ◆ poolclock

    SCIP_CLOCK* SCIP_Cutpool::poolclock

    separation time

    Definition at line 64 of file struct_cutpool.h.

    Referenced by SCIPcutpoolGetTime(), SCIPcutpoolSeparate(), and SCIPcutpoolSetTime().

    ◆ hashtable

    SCIP_HASHTABLE* SCIP_Cutpool::hashtable

    hash table to identify already stored cuts

    Definition at line 65 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), SCIPcutpoolAddNewRow(), SCIPcutpoolAddRow(), SCIPcutpoolClear(), SCIPcutpoolDelRow(), and SCIPcutpoolIsCutNew().

    ◆ cuts

    SCIP_CUT** SCIP_Cutpool::cuts

    ◆ processedlp

    SCIP_Longint SCIP_Cutpool::processedlp

    last LP that has been processed for separating the LP

    Definition at line 67 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().

    ◆ processedlpsol

    SCIP_Longint SCIP_Cutpool::processedlpsol

    last LP that has been processed for separating other solutions

    Definition at line 68 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().

    ◆ processedlpefficacy

    SCIP_Real SCIP_Cutpool::processedlpefficacy

    minimal efficacy used in last processed LP

    Definition at line 69 of file struct_cutpool.h.

    Referenced by SCIPcutpoolSeparate().

    ◆ processedlpsolefficacy

    SCIP_Real SCIP_Cutpool::processedlpsolefficacy

    minimal efficacy used in last processed LP for separating other solutions

    Definition at line 70 of file struct_cutpool.h.

    Referenced by SCIPcutpoolSeparate().

    ◆ cutssize

    int SCIP_Cutpool::cutssize

    size of cuts array

    Definition at line 71 of file struct_cutpool.h.

    Referenced by cutpoolEnsureCutsMem().

    ◆ ncuts

    int SCIP_Cutpool::ncuts

    number of cuts stored in the pool

    Definition at line 72 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), SCIPcutpoolAddNewRow(), SCIPcutpoolClear(), SCIPcutpoolGetNCuts(), and SCIPcutpoolSeparate().

    ◆ nremovablecuts

    int SCIP_Cutpool::nremovablecuts

    number of cuts stored in the pool that are marked to be removable

    Definition at line 73 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), SCIPcutpoolAddNewRow(), SCIPcutpoolClear(), and SCIPcutpoolSeparate().

    ◆ agelimit

    int SCIP_Cutpool::agelimit

    maximum age a cut can reach before it is deleted from the pool

    Definition at line 74 of file struct_cutpool.h.

    Referenced by SCIPcutpoolSeparate().

    ◆ firstunprocessed

    int SCIP_Cutpool::firstunprocessed

    first cut that has not been processed in the last LP

    Definition at line 75 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().

    ◆ firstunprocessedsol

    int SCIP_Cutpool::firstunprocessedsol

    first cut that has not been processed in the last LP when separating other solutions

    Definition at line 76 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), and SCIPcutpoolSeparate().

    ◆ maxncuts

    SCIP_Longint SCIP_Cutpool::maxncuts

    maximal number of cuts stored in the pool at the same time

    Definition at line 77 of file struct_cutpool.h.

    Referenced by SCIPcutpoolAddMaxNCuts(), SCIPcutpoolAddNewRow(), and SCIPcutpoolGetMaxNCuts().

    ◆ globalcutpool

    SCIP_Bool SCIP_Cutpool::globalcutpool

    is this the global cut pool of SCIP?

    Definition at line 78 of file struct_cutpool.h.

    Referenced by cutpoolDelCut(), SCIPcutpoolAddNewRow(), and SCIPcutpoolClear().