Scippy

SCIP

Solving Constraint Integer Programs

struct_conflictstore.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_sepastore.h
17  * @ingroup INTERNALAPI
18  * @brief datastructures for storing conflicts
19  * @author Jakob Witzig
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef __SCIP_STRUCT_CONFLICTSTORE_H__
25 #define __SCIP_STRUCT_CONFLICTSTORE_H__
26 
27 
28 #include "scip/def.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 /** storage for conflicts */
37 {
38  SCIP_EVENTHDLR* eventhdlr; /**< event handler to catch improving solutions */
39  SCIP_CONS** conflicts; /**< array with conflicts */
40  SCIP_CONS** dualrayconfs; /**< array with conflicts based on dual rays */
41  SCIP_CONS** origconfs; /**< array of original conflicts added in stage SCIP_STAGE_PROBLEM */
42  SCIP_Real* primalbounds; /**< array of primal bounds valid at the time the corresponding bound exceeding
43  * conflict was found (-infinity if the conflict based on an infeasible LP) */
44  SCIP_Real avgswitchlength; /**< average length of switched paths */
45  SCIP_Longint lastnodenum; /**< number of the last seen node */
46  SCIP_Longint ncleanups; /**< number of storage cleanups */
47  SCIP_Longint nnzdualrays; /**< number of non-zeros in all stored dual rays */
48  int conflictsize; /**< size of conflict array (bounded by conflict->maxpoolsize) */
49  int origconflictsize; /**< size of origconfs array */
50  int nconflicts; /**< number of stored conflicts */
51  int ndualrayconfs; /**< number of stored dual rays */
52  int norigconfs; /**< number of original conflicts */
53  int ncbconflicts; /**< number of conflicts depending on cutoff bound */
54  int nconflictsfound; /**< total number of conflicts found so far */
55  int cleanupfreq; /**< frequency to cleanup the storage if the storage is not full */
56  int nswitches; /**< number of path switches */
57  int initstoresize; /**< initial size of the storage (different to maxstoresize iff dynamic) */
58  int storesize; /**< current size of the storage (different to maxstoresize iff dynamic) */
59  int maxstoresize; /**< maximal size of the storage */
60 };
61 
62 #ifdef __cplusplus
63 }
64 #endif
65 
66 #endif
type definitions for conflict store
SCIP_EVENTHDLR * eventhdlr
#define SCIP_Real
Definition: def.h:145
#define SCIP_Longint
Definition: def.h:130
common defines and data types used in all packages of SCIP