Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    DecompHorizon Struct Reference

    Detailed Description

    data structure to enable GINS to solve multiple decompositions in a sequential process

    Definition at line 145 of file heur_gins.c.

    Data Fields

    SCIP_DECOMP * decomp
     
    SCIP_VAR ** vars
     
    SCIP_SOL ** lastsolblock
     
    SCIP_Real * potential
     
    int * blocklabels
     
    int * varblockend
     
    int * ndiscretevars
     
    int * blockindices
     
    int * nvars
     
    SCIP_Bool * suitable
     
    int nsuitableblocks
     
    int lastblockpos
     
    int nblocks
     
    int memsize
     
    int varsmemsize
     
    int overlapinterval [2]
     
    SCIP_Bool init
     

    Field Documentation

    ◆ decomp

    SCIP_DECOMP* DecompHorizon::decomp

    decomposition data structure used for this horizon

    Definition at line 147 of file heur_gins.c.

    Referenced by decompHorizonCreate(), and decompHorizonInitialize().

    ◆ vars

    SCIP_VAR** DecompHorizon::vars

    variables sorted by block indices

    Definition at line 148 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decomphorizonGetVars(), and decompHorizonInitialize().

    ◆ lastsolblock

    SCIP_SOL** DecompHorizon::lastsolblock

    last solution for which block was part of the sub-SCIP

    Definition at line 149 of file heur_gins.c.

    Referenced by decompHorizonBlockUsedRecently(), decompHorizonCreate(), decompHorizonFree(), decompHorizonMarkInterval(), and decompHorizonNext().

    ◆ potential

    SCIP_Real* DecompHorizon::potential

    potential of each block

    Definition at line 150 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), and SCIP_DECL_SORTINDCOMP().

    ◆ blocklabels

    int* DecompHorizon::blocklabels

    sorted block labels of all variable blocks that satisfy the requirements

    Definition at line 151 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), decompHorizonMarkInterval(), decompHorizonNext(), determineVariableFixingsDecomp(), and SCIP_DECL_SORTINDCOMP().

    ◆ varblockend

    int* DecompHorizon::varblockend

    block end indices in sorted variables array (position of first variable of next block)

    Definition at line 152 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), and determineVariableFixingsDecomp().

    ◆ ndiscretevars

    int* DecompHorizon::ndiscretevars

    number of binary and integer variables in each block

    Definition at line 153 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), decompHorizonMarkInterval(), decompHorizonNext(), and SCIP_DECL_SORTINDCOMP().

    ◆ blockindices

    int* DecompHorizon::blockindices

    block indices (from 0 to nblocks) with respect to sorting of blocks

    Definition at line 154 of file heur_gins.c.

    Referenced by decompHorizonBlockUsedRecently(), decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), decompHorizonMarkInterval(), decompHorizonNext(), and determineVariableFixingsDecomp().

    ◆ nvars

    int* DecompHorizon::nvars

    number of variables (including continuous and implicit integers) in each block

    Definition at line 155 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), and decompHorizonInitialize().

    ◆ suitable

    SCIP_Bool* DecompHorizon::suitable

    TRUE if a block is suitable

    Definition at line 156 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), decompHorizonMarkInterval(), decompHorizonNext(), and SCIP_DECL_SORTINDCOMP().

    ◆ nsuitableblocks

    int DecompHorizon::nsuitableblocks

    the total number of suitable blocks

    Definition at line 157 of file heur_gins.c.

    Referenced by decompHorizonInitialize(), and decompHorizonNext().

    ◆ lastblockpos

    int DecompHorizon::lastblockpos

    last remembered block position (in block indices, i.e., regarding sorting)

    Definition at line 158 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonMarkInterval(), decompHorizonNext(), decompHorizonRunAgain(), and determineVariableFixingsDecomp().

    ◆ nblocks

    int DecompHorizon::nblocks

    the number of available variable blocks, only available after initialization

    Definition at line 159 of file heur_gins.c.

    Referenced by decompHorizonGetFirstPosBestPotential(), decompHorizonInitialize(), decompHorizonMarkInterval(), decompHorizonNext(), decompHorizonRunAgain(), and determineVariableFixingsDecomp().

    ◆ memsize

    int DecompHorizon::memsize

    storage size of the used arrays

    Definition at line 160 of file heur_gins.c.

    Referenced by decompHorizonCreate(), and decompHorizonFree().

    ◆ varsmemsize

    int DecompHorizon::varsmemsize

    storage size of the vars array

    Definition at line 161 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decompHorizonFree(), and decompHorizonInitialize().

    ◆ overlapinterval

    int DecompHorizon::overlapinterval[2]

    block positions of last interval forbidden by overlap

    Definition at line 162 of file heur_gins.c.

    Referenced by decompHorizonBlockUsedRecently(), and decompHorizonSetOverlapInterval().

    ◆ init

    SCIP_Bool DecompHorizon::init

    has the decomposition horizon been initialized?

    Definition at line 163 of file heur_gins.c.

    Referenced by decompHorizonCreate(), decomphorizonGetVars(), decompHorizonInitialize(), decompHorizonIsInitialized(), and decompHorizonNext().