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 144 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 146 of file heur_gins.c.

Referenced by decompHorizonCreate(), and decompHorizonInitialize().

◆ vars

SCIP_VAR** DecompHorizon::vars

variables sorted by block indices

Definition at line 147 of file heur_gins.c.

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

◆ lastsolblock

SCIP_SOL** DecompHorizon::lastsolblock

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

Definition at line 148 of file heur_gins.c.

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

◆ potential

SCIP_Real* DecompHorizon::potential

potential of each block

Definition at line 149 of file heur_gins.c.

Referenced by decompHorizonCreate(), and decompHorizonGetFirstPosBestPotential().

◆ blocklabels

int* DecompHorizon::blocklabels

sorted block labels of all variable blocks that satisfy the requirements

Definition at line 150 of file heur_gins.c.

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

◆ varblockend

int* DecompHorizon::varblockend

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

Definition at line 151 of file heur_gins.c.

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

◆ ndiscretevars

int* DecompHorizon::ndiscretevars

number of binary and integer variables in each block

Definition at line 152 of file heur_gins.c.

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

◆ blockindices

int* DecompHorizon::blockindices

◆ nvars

int* DecompHorizon::nvars

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

Definition at line 154 of file heur_gins.c.

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

◆ suitable

SCIP_Bool* DecompHorizon::suitable

◆ nsuitableblocks

int DecompHorizon::nsuitableblocks

the total number of suitable blocks

Definition at line 156 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 157 of file heur_gins.c.

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

◆ nblocks

int DecompHorizon::nblocks

the number of available variable blocks, only available after initialization

Definition at line 158 of file heur_gins.c.

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

◆ memsize

int DecompHorizon::memsize

storage size of the used arrays

Definition at line 159 of file heur_gins.c.

Referenced by decompHorizonCreate().

◆ varsmemsize

int DecompHorizon::varsmemsize

storage size of the vars array

Definition at line 160 of file heur_gins.c.

Referenced by decompHorizonCreate(), and decompHorizonInitialize().

◆ overlapinterval

int DecompHorizon::overlapinterval[2]

block positions of last interval forbidden by overlap

Definition at line 161 of file heur_gins.c.

Referenced by decompHorizonBlockUsedRecently(), and decompHorizonSetOverlapInterval().

◆ init

SCIP_Bool DecompHorizon::init

has the decomposition horizon been initialized?

Definition at line 162 of file heur_gins.c.

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