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_Topology_hh 00013 #define PPL_Topology_hh 1 00014 00015 namespace Parma_Polyhedra_Library { 00016 00017 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS 00019 00020 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) 00021 enum Topology { 00022 NECESSARILY_CLOSED = 0, 00023 NOT_NECESSARILY_CLOSED = 1 00024 }; 00025 00026 } // namespace Parma_Polyhedra_Library 00027 00028 #endif // !defined(PPL_Topology_hh)