Scippy

SCIP

Solving Constraint Integer Programs

pub_conflict.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_conflict.h
17  * @ingroup PUBLICMETHODS
18  * @brief public methods for conflict analysis handlers
19  * @author Tobias Achterberg
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef __SCIP_PUB_CONFLICT_H__
25 #define __SCIP_PUB_CONFLICT_H__
26 
27 
28 
29 #include "scip/def.h"
30 #include "scip/type_misc.h"
31 #include "scip/type_conflict.h"
32 
33 #ifdef __cplusplus
34 extern "C" {
35 #endif
36 
37 /** compares two conflict handlers w. r. to their priority */
38 extern
39 SCIP_DECL_SORTPTRCOMP(SCIPconflicthdlrComp);
40 
41 /** comparison method for sorting conflict handler w.r.t. to their name */
42 extern
43 SCIP_DECL_SORTPTRCOMP(SCIPconflicthdlrCompName);
44 
45 /** gets user data of conflict handler */
46 extern
48  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
49  );
50 
51 /** sets user data of conflict handler; user has to free old data in advance! */
52 extern
54  SCIP_CONFLICTHDLR* conflicthdlr, /**< conflict handler */
55  SCIP_CONFLICTHDLRDATA* conflicthdlrdata /**< new conflict handler user data */
56  );
57 
58 /** gets name of conflict handler */
59 extern
60 const char* SCIPconflicthdlrGetName(
61  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
62  );
63 
64 /** gets description of conflict handler */
65 extern
66 const char* SCIPconflicthdlrGetDesc(
67  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
68  );
69 
70 /** gets priority of conflict handler */
71 extern
73  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
74  );
75 
76 /** is conflict handler initialized? */
77 extern
79  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
80  );
81 
82 /** gets time in seconds used in this conflict handler for setting up for next stages */
83 extern
85  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
86  );
87 
88 /** gets time in seconds used in this conflict handler */
89 extern
91  SCIP_CONFLICTHDLR* conflicthdlr /**< conflict handler */
92  );
93 
94 #ifdef __cplusplus
95 }
96 #endif
97 
98 #endif
99