00001 /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 00002 Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) 00003 00004 This file is free software; as a special exception the author gives 00005 unlimited permission to copy and/or distribute it, with or without 00006 modifications, as long as this notice is preserved. 00007 00008 This program is distributed in the hope that it will be useful, but 00009 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the 00010 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 00011 PURPOSE. */ 00012 00013 #ifndef PPL_MIP_Problem_types_hh 00014 #define PPL_MIP_Problem_types_hh 1 00015 00016 namespace Parma_Polyhedra_Library { 00017 00019 00020 enum MIP_Problem_Status { 00022 UNFEASIBLE_MIP_PROBLEM, 00024 UNBOUNDED_MIP_PROBLEM, 00026 OPTIMIZED_MIP_PROBLEM 00027 }; 00028 00029 class MIP_Problem; 00030 00031 } // namespace Parma_Polyhedra_Library 00032 00033 #endif // !defined(PPL_MIP_Problem_types_hh)
1.6.3