Scippy

SCIP

Solving Constraint Integer Programs

struct_concurrent.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2017 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file struct_concurrent.h
17  * @ingroup INTERNALAPI
18  * @brief concurrent data struct
19  * @author Robert Lion Gottwald
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef __SCIP_STRUCT_CONCURRENT_H__
25 #define __SCIP_STRUCT_CONCURRENT_H__
26 
27 #include "scip/def.h"
28 #include "scip/type_concurrent.h"
29 #include "scip/type_clock.h"
30 #include "scip/type_concsolver.h"
31 #include "scip/type_prop.h"
32 #include "scip/type_heur.h"
33 #include "scip/type_event.h"
34 
35 #ifdef __cplusplus
36 extern "C" {
37 #endif
38 
39 /** data for concurrent solve stored in struct scip */
41 {
42  SCIP* mainscip; /**< main scip for concurrent solver */
43  SCIP_CONCSOLVER* concsolver; /**< the concurrent solver of the main scip */
44  int* varperm; /**< permutation of variables to get the position of variable in the original SCIP's
45  * variable array by the index of an original variable in this concurrent's main SCIP */
46  SCIP_Real dettime; /**< deterministic time since last sync */
47  SCIP_CLOCK* wallclock; /**< wallclock time since last sync */
48  SCIP_PROP* propsync; /**< sync propagator */
49  SCIP_HEUR* heursync; /**< sync heuristic */
50  SCIP_EVENTHDLR* eventglobalbnd; /**< global bound eventhandler */
51  int solidx; /**< solution index after last synchronization */
52 };
53 
54 #ifdef __cplusplus
55 }
56 #endif
57 
58 #endif
SCIP_HEUR * heursync
SCIP_CLOCK * wallclock
type definitions for primal heuristics
type definition of concurrent data
type definitions for managing events
type definitions for clocks and timing issues
type definitions for propagators
#define SCIP_Real
Definition: def.h:145
SCIP_EVENTHDLR * eventglobalbnd
SCIP_PROP * propsync
common defines and data types used in all packages of SCIP
SCIP_CONCSOLVER * concsolver
type definitions for concurrent solvers