Scippy

SCIP

Solving Constraint Integer Programs

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_DECOMPdecomp
 
SCIP_VAR ** vars
 
SCIP_SOL ** lastsolblock
 
SCIP_Realpotential
 
int * blocklabels
 
int * varblockend
 
int * ndiscretevars
 
int * blockindices
 
int * nvars
 
SCIP_Boolsuitable
 
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

◆ 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

◆ 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

◆ blockindices

int* DecompHorizon::blockindices

◆ 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

◆ 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().