Scippy

SCIP

Solving Constraint Integer Programs

pub_cutpool.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 pub_cutpool.h
17  * @ingroup PUBLICMETHODS
18  * @brief public methods for storing cuts in a cut pool
19  * @author Tobias Achterberg
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef __SCIP_PUB_CUTPOOL_H__
25 #define __SCIP_PUB_CUTPOOL_H__
26 
27 
28 #include "scip/def.h"
29 #include "scip/type_cutpool.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 /** gets the row of the cut */
36 extern
38  SCIP_CUT* cut /**< cut */
39  );
40 
41 /** gets the age of the cut: the number of consecutive cut pool separation rounds where the cut was neither in the LP nor violated */
42 extern
43 int SCIPcutGetAge(
44  SCIP_CUT* cut /**< cut */
45  );
46 
47 /** gets array of cuts in the cut pool */
48 extern
50  SCIP_CUTPOOL* cutpool /**< cut pool */
51  );
52 
53 /** get number of cuts in the cut pool */
54 extern
56  SCIP_CUTPOOL* cutpool /**< cut pool */
57  );
58 
59 /** get maximum number of cuts that were stored in the cut pool at the same time */
60 extern
62  SCIP_CUTPOOL* cutpool /**< cut pool */
63  );
64 
65 /** gets time in seconds used for separating cuts from the pool */
66 extern
68  SCIP_CUTPOOL* cutpool /**< cut pool */
69  );
70 
71 /** get number of times, the cut pool was separated */
72 extern
74  SCIP_CUTPOOL* cutpool /**< cut pool */
75  );
76 
77 /** get total number of cuts that were separated from the cut pool */
78 extern
80  SCIP_CUTPOOL* cutpool /**< cut pool */
81  );
82 
83 #ifdef __cplusplus
84 }
85 #endif
86 
87 #endif
88