Scippy

SCIP

Solving Constraint Integer Programs

SCIP_SyncStore Struct Reference

Detailed Description

Definition at line 39 of file struct_syncstore.h.

#include <struct_syncstore.h>

Data Fields

int nuses
 
SCIP_PARALLELMODE mode
 
SCIP_Bool initialized
 
int ninitvars
 
SCIP_SYNCDATAsyncdata
 
SCIP_SYNCDATAlastsync
 
SCIPmainscip
 
SCIP_Bool stopped
 
SCIP_LOCK lock
 
int nsyncdata
 
SCIP_Real minsyncdelay
 
int maxnsyncdelay
 
SCIP_Real syncfreqinit
 
SCIP_Real syncfreqmax
 
int maxnsols
 
int nsolvers
 

Field Documentation

◆ nuses

int SCIP_SyncStore::nuses

number of uses of the synchronization store

Definition at line 41 of file struct_syncstore.h.

Referenced by SCIPsyncstoreCapture().

◆ mode

SCIP_PARALLELMODE SCIP_SyncStore::mode

the mode for the parallel solving

Definition at line 42 of file struct_syncstore.h.

Referenced by SCIPsyncstoreGetMode(), and SCIPsyncstoreInit().

◆ initialized

◆ ninitvars

int SCIP_SyncStore::ninitvars

number of variables it has been initialized for

Definition at line 44 of file struct_syncstore.h.

Referenced by SCIPsyncstoreExit(), and SCIPsyncstoreInit().

◆ syncdata

SCIP_SYNCDATA* SCIP_SyncStore::syncdata

array of size nsyncdata, containing the synchronization data for each active synchroization

Definition at line 45 of file struct_syncstore.h.

Referenced by SCIPsyncstoreExit(), SCIPsyncstoreGetNextSyncdata(), SCIPsyncstoreGetSyncdata(), SCIPsyncstoreInit(), and SCIPsyncstoreStartSync().

◆ lastsync

◆ mainscip

SCIP* SCIP_SyncStore::mainscip

◆ stopped

SCIP_Bool SCIP_SyncStore::stopped

flag to indicate if the solving is stopped

Definition at line 51 of file struct_syncstore.h.

Referenced by SCIPsyncstoreExit(), SCIPsyncstoreInit(), SCIPsyncstoreSetSolveIsStopped(), and SCIPsyncstoreSolveIsStopped().

◆ lock

SCIP_LOCK SCIP_SyncStore::lock

lock to protect the syncstore data structure from data races

Definition at line 52 of file struct_syncstore.h.

Referenced by SCIPsyncstoreCapture(), SCIPsyncstoreSetSolveIsStopped(), and SCIPsyncstoreSolveIsStopped().

◆ nsyncdata

int SCIP_SyncStore::nsyncdata

the size of the synchronization data array

Definition at line 55 of file struct_syncstore.h.

Referenced by SCIPsyncstoreExit(), SCIPsyncstoreGetNextSyncdata(), SCIPsyncstoreGetSyncdata(), SCIPsyncstoreInit(), and SCIPsyncstoreStartSync().

◆ minsyncdelay

SCIP_Real SCIP_SyncStore::minsyncdelay

the minimum delay before a synchronization data may be read

Definition at line 56 of file struct_syncstore.h.

Referenced by SCIPsyncstoreInit().

◆ maxnsyncdelay

int SCIP_SyncStore::maxnsyncdelay

maximum number of synchronizations before the reading of the next synchronization data is enforced regardless of the minimal synchroization delay

Definition at line 57 of file struct_syncstore.h.

Referenced by SCIPsyncstoreGetNextSyncdata(), and SCIPsyncstoreInit().

◆ syncfreqinit

SCIP_Real SCIP_SyncStore::syncfreqinit

the initial synchronization frequency which is read from the settings of the main SCIP when the syncstore is initialized

Definition at line 60 of file struct_syncstore.h.

Referenced by SCIPsyncstoreInit().

◆ syncfreqmax

SCIP_Real SCIP_SyncStore::syncfreqmax

the maximum synchronization frequency

Definition at line 62 of file struct_syncstore.h.

Referenced by SCIPsyncdataSetSyncFreq(), and SCIPsyncstoreInit().

◆ maxnsols

int SCIP_SyncStore::maxnsols

maximum number of solutions that can be shared in one synchronization

Definition at line 63 of file struct_syncstore.h.

Referenced by SCIPsyncdataGetSolutionBuffer(), SCIPsyncstoreExit(), and SCIPsyncstoreInit().

◆ nsolvers

int SCIP_SyncStore::nsolvers

number of solvers synchronizing with this syncstore

Definition at line 64 of file struct_syncstore.h.

Referenced by SCIPsyncstoreEnsureAllSynced(), SCIPsyncstoreFinishSync(), SCIPsyncstoreGetNSolvers(), and SCIPsyncstoreInit().