Scippy

SCIP

Solving Constraint Integer Programs

struct_prop.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-2014 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_prop.h
17  * @brief datastructures for propagators
18  * @author Tobias Achterberg
19  */
20 
21 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
22 
23 #ifndef __SCIP_STRUCT_PROP_H__
24 #define __SCIP_STRUCT_PROP_H__
25 
26 
27 #include "scip/def.h"
28 #include "scip/type_clock.h"
29 #include "scip/type_prop.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 /** propagators data */
36 struct SCIP_Prop
37 {
38  SCIP_Longint ncalls; /**< number of times, this propagator was called */
39  SCIP_Longint nrespropcalls; /**< number of times, the resolve propagation was called */
40  SCIP_Longint ncutoffs; /**< number of cutoffs found so far by this propagator */
41  SCIP_Longint ndomredsfound; /**< number of domain reductions found so far by this propagator */
42  char* name; /**< name of propagator */
43  char* desc; /**< description of propagator */
44  SCIP_DECL_PROPCOPY ((*propcopy)); /**< copy method of propagator or NULL if you don't want to copy your plugin into sub-SCIPs */
45  SCIP_DECL_PROPFREE ((*propfree)); /**< destructor of propagator */
46  SCIP_DECL_PROPINIT ((*propinit)); /**< initialize propagator */
47  SCIP_DECL_PROPEXIT ((*propexit)); /**< deinitialize propagator */
48  SCIP_DECL_PROPINITPRE ((*propinitpre)); /**< presolving initialization method of propagator */
49  SCIP_DECL_PROPEXITPRE ((*propexitpre)); /**< presolving deinitialization method of propagator */
50  SCIP_DECL_PROPINITSOL ((*propinitsol)); /**< solving process initialization method of propagator */
51  SCIP_DECL_PROPEXITSOL ((*propexitsol)); /**< solving process deinitialization method of propagator */
52  SCIP_DECL_PROPPRESOL ((*proppresol)); /**< presolving method of propagator */
53  SCIP_DECL_PROPEXEC ((*propexec)); /**< execution method of propagator */
54  SCIP_DECL_PROPRESPROP ((*propresprop)); /**< propagation conflict resolving method */
55  SCIP_PROPDATA* propdata; /**< propagators local data */
56  SCIP_CLOCK* setuptime; /**< time spend for setting up this propagator for the next stages */
57  SCIP_CLOCK* proptime; /**< time used for propagation of this propagator */
58  SCIP_CLOCK* sbproptime; /**< time used for propagation of this propagator during strong branching */
59  SCIP_CLOCK* resproptime; /**< time used for resolve propagation of this propagator */
60  SCIP_CLOCK* presoltime; /**< time used for presolving of this propagator */
61  int priority; /**< priority of the propagator for propagation */
62  int freq; /**< frequency for calling propagator */
63  SCIP_PROPTIMING timingmask; /**< positions in the node solving loop where propagator should be executed */
64  int presolpriority; /**< priority of the presolving of the propagator */
65  int maxprerounds; /**< maximal number of presolving rounds the constraint handler participates in (-1: no limit) */
66  int lastnfixedvars; /**< number of variables fixed before the last call to the propagator */
67  int lastnaggrvars; /**< number of variables aggregated in presolving before the last call to the propagator */
68  int lastnchgvartypes; /**< number of variable type changes in presolving before the last call to the propagator */
69  int lastnchgbds; /**< number of variable bounds tightened in presolving before the last call to the propagator */
70  int lastnaddholes; /**< number of domain holes added in presolving before the last call to the propagator */
71  int lastndelconss; /**< number of deleted constraints in presolving before the last call to the propagator */
72  int lastnaddconss; /**< number of added constraints in presolving before the last call to the propagator */
73  int lastnupgdconss; /**< number of upgraded constraints in presolving before the last call to the propagator */
74  int lastnchgcoefs; /**< number of changed coefficients in presolving before the last call to the propagator */
75  int lastnchgsides; /**< number of changed left or right hand sides in presolving before the last call to the propagator */
76  int nfixedvars; /**< total number of variables fixed by this propagator in presolving */
77  int naggrvars; /**< total number of variables aggregated by this propagator in presolving */
78  int nchgvartypes; /**< total number of variable type changes by this propagator in presolving */
79  int nchgbds; /**< total number of variable bounds tightened by this propagator in presolving */
80  int naddholes; /**< total number of domain holes added by this propagator in presolving */
81  int ndelconss; /**< total number of deleted constraints by this propagator in presolving */
82  int naddconss; /**< total number of added constraints by this propagator in presolving */
83  int nupgdconss; /**< total number of upgraded constraints by this propagator in presolving */
84  int nchgcoefs; /**< total number of changed coefficients by this propagator in presolving */
85  int nchgsides; /**< total number of changed left or right hand sides by this propagator in presolving */
86  int npresolcalls; /**< number of times the propagator was called in presolving and tried to find reductions */
87  SCIP_Bool presoldelay; /**< should presolving method of propagator be delayed, if other presolvers found reductions? */
88  SCIP_Bool presolwasdelayed; /**< was the presolving method of the propagator delayed at the last call? */
89  SCIP_Bool delay; /**< should propagator be delayed, if other propagators found reductions? */
90  SCIP_Bool wasdelayed; /**< was the propagator delayed at the last call? */
91  SCIP_Bool initialized; /**< is propagator initialized? */
92 };
93 
94 #ifdef __cplusplus
95 }
96 #endif
97 
98 #endif
99