1 /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
2    Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
3 
4 This file is free software; as a special exception the author gives
5 unlimited permission to copy and/or distribute it, with or without
6 modifications, as long as this notice is preserved.
7 
8 This program is distributed in the hope that it will be useful, but
9 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
10 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
11 PURPOSE. */
12 
13 #ifndef PPL_MIP_Problem_types_hh
14 #define PPL_MIP_Problem_types_hh 1
15 
16 namespace Parma_Polyhedra_Library {
17 
18 //! Possible outcomes of the MIP_Problem solver.
19 /*! \ingroup PPL_CXX_interface */
20 enum MIP_Problem_Status {
21   //! The problem is unfeasible.
22   UNFEASIBLE_MIP_PROBLEM,
23   //! The problem is unbounded.
24   UNBOUNDED_MIP_PROBLEM,
25   //! The problem has an optimal solution.
26   OPTIMIZED_MIP_PROBLEM
27 };
28 
29 class MIP_Problem;
30 
31 } // namespace Parma_Polyhedra_Library
32 
33 #endif // !defined(PPL_MIP_Problem_types_hh)
34