00001 /* Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it> 00002 00003 This file is free software; as a special exception the author gives 00004 unlimited permission to copy and/or distribute it, with or without 00005 modifications, as long as this notice is preserved. 00006 00007 This program is distributed in the hope that it will be useful, but 00008 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the 00009 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 00010 PURPOSE. */ 00011 00012 #ifndef PPL_globals_types_hh 00013 #define PPL_globals_types_hh 1 00014 00015 #include <cstddef> 00016 00017 namespace Parma_Polyhedra_Library { 00018 00020 00021 typedef size_t dimension_type; 00022 00024 00025 typedef size_t memory_size_type; 00026 00028 00029 enum Degenerate_Element { 00031 UNIVERSE, 00033 EMPTY 00034 }; 00035 00037 00038 enum Relation_Symbol { 00040 LESS_THAN, 00042 LESS_OR_EQUAL, 00044 EQUAL, 00046 GREATER_OR_EQUAL, 00048 GREATER_THAN, 00050 NOT_EQUAL 00051 }; 00052 00054 00055 enum Complexity_Class { 00057 POLYNOMIAL_COMPLEXITY, 00059 SIMPLEX_COMPLEXITY, 00061 ANY_COMPLEXITY 00062 }; 00063 00065 00066 enum Optimization_Mode { 00068 MINIMIZATION, 00070 MAXIMIZATION 00071 }; 00072 00073 } // namespace Parma_Polyhedra_Library 00074 00075 #endif // !defined(PPL_globals_types_hh)