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_NNC_Polyhedron_types_hh 00014 #define PPL_NNC_Polyhedron_types_hh 1 00015 00016 namespace Parma_Polyhedra_Library { 00017 00018 class NNC_Polyhedron; 00019 00020 } // namespace Parma_Polyhedra_Library 00021 00022 #endif // !defined(PPL_NNC_Polyhedron_types_hh)
1.6.3