Imported Upstream version 0.11.2upstream/0.11.2upstream

1 files changed, 1738 insertions, 0 deletions

diff --git a/README b/README
new file mode 100644
index 000000000..c289904bf
--- /dev/null
+++ b/README
@@ -0,0 +1,1738 @@
+Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
+See below for the copying conditions.
+
+
+Parma Polyhedra Library (Release 0.11.2)
+========================================
+
+This is the release 0.11.2 of the Parma Polyhedra Library:
+a C++ library for (not necessarily closed) convex polyhedra
+and other numerical abstractions.
+
+To be more precise, the Parma Polyhedra Library (PPL) can handle:
+
+  + all the convex polyhedra that can be defined as the intersection
+    of a finite number of (open or closed) hyperspaces, each described
+    by an equality or a (strict or non-strict) inequality with rational
+    coefficients;
+
+  + convex polyhedra defined by systems of bounded differences with
+    a wide choice of integer, rational or floating point coefficients;
+
+  + all grids (or, equivalently, lattices); a grid is defined by a set
+    of congruence relations with rational coefficients and consists of
+    the set of all points that satisfy these relations;
+
+  + finite powersets of the above;
+
+  + linear programming problems, solved with an implementation of the
+    primal simplex algorithm using exact arithmetic.
+
+The Parma Polyhedra Library is:
+
+  + user friendly:
+      you write `x + 2*y + 5*z <= 7' when you mean it;
+
+  + fully dynamic:
+      available virtual memory is the only limitation to the dimension
+      of anything;
+
+  + written in standard C++:
+      meant to be portable;
+
+  + exception-safe:
+      never leaks resources or leaves invalid object fragments around;
+
+  + rather efficient:
+      and we hope to make it even more so;
+
+  + thoroughly documented:
+      perhaps not ``literate programming'' but close enough;
+
+  + free software:
+      distributed under the terms of the GNU General Public License.
+
+See the file COPYING for licensing information.
+See the file INSTALL for generic build and installation instructions.
+See the file README.configure for more specific configuration instructions.
+See the file NEWS for recent project news.
+See the file BUGS for known bugs and how to report new ones.
+See the file CREDITS for a list of people, projects and organizations
+that made the PPL a reality.
+See http://www.cs.unipr.it/ppl/ for more information on the PPL.
+For any additional questions you might have, please do not hesitate to
+write to ppl-devel@cs.unipr.it.
+
+Here is the contents of the PPL 0.11.2 source distribution
+(44 directories, 1590 files):
+
+ppl-0.11.2
+|-- BUGS
+|-- COPYING
+|-- CREDITS
+|-- ChangeLog
+|-- ChangeLog_2001-2008
+|-- INSTALL
+|-- Makefile.am
+|-- Makefile.in
+|-- NEWS
+|-- README
+|-- README.alpha
+|-- README.arm
+|-- README.configure
+|-- README.solaris
+|-- STANDARDS
+|-- TODO
+|-- Watchdog
+|   |-- BUGS
+|   |-- COPYING
+|   |-- CREDITS
+|   |-- ChangeLog
+|   |-- ChangeLog_2001-2008
+|   |-- INSTALL
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- NEWS
+|   |-- README
+|   |-- aclocal.m4
+|   |-- compile
+|   |-- config.guess
+|   |-- config.h.in
+|   |-- config.rpath
+|   |-- config.sub
+|   |-- configure
+|   |-- configure.ac
+|   |-- depcomp
+|   |-- doc
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- README.doc
+|   |   |-- devref.doxyconf-html.in
+|   |   |-- devref.doxyconf-latex.in
+|   |   |-- devref.tex
+|   |   |-- fdl.dox
+|   |   |-- fdl.pdf
+|   |   |-- fdl.ps.gz
+|   |   |-- fdl.tex
+|   |   |-- fdl.txt
+|   |   |-- gpl.dox
+|   |   |-- gpl.pdf
+|   |   |-- gpl.ps.gz
+|   |   |-- gpl.tex
+|   |   |-- gpl.txt
+|   |   |-- pwl-user-0.8-html.tar.gz
+|   |   |-- pwl-user-0.8.pdf
+|   |   |-- pwl-user-0.8.ps.gz
+|   |   |-- pwl.sty
+|   |   |-- user.doxyconf-html.in
+|   |   |-- user.doxyconf-latex.in
+|   |   `-- user.tex
+|   |-- install-sh
+|   |-- ltmain.sh
+|   |-- m4
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- lib-ld.m4
+|   |   |-- lib-link.m4
+|   |   |-- libtool.m4
+|   |   |-- ltoptions.m4
+|   |   |-- ltsugar.m4
+|   |   |-- ltversion.m4
+|   |   `-- lt~obsolete.m4
+|   |-- missing
+|   |-- mkinstalldirs
+|   |-- pwl-config.h.in
+|   |-- pwl-config.sed
+|   |-- src
+|   |   |-- Doubly_Linked_Object.defs.hh
+|   |   |-- Doubly_Linked_Object.inlines.hh
+|   |   |-- Doubly_Linked_Object.types.hh
+|   |   |-- EList.defs.hh
+|   |   |-- EList.inlines.hh
+|   |   |-- EList.types.hh
+|   |   |-- EList_Iterator.defs.hh
+|   |   |-- EList_Iterator.inlines.hh
+|   |   |-- EList_Iterator.types.hh
+|   |   |-- Handler.defs.hh
+|   |   |-- Handler.inlines.hh
+|   |   |-- Handler.types.hh
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- Pending_Element.defs.hh
+|   |   |-- Pending_Element.inlines.hh
+|   |   |-- Pending_Element.types.hh
+|   |   |-- Pending_List.defs.hh
+|   |   |-- Pending_List.inlines.hh
+|   |   |-- Pending_List.templates.hh
+|   |   |-- Pending_List.types.hh
+|   |   |-- Threshold_Watcher.cc
+|   |   |-- Threshold_Watcher.defs.hh
+|   |   |-- Threshold_Watcher.inlines.hh
+|   |   |-- Threshold_Watcher.templates.hh
+|   |   |-- Threshold_Watcher.types.hh
+|   |   |-- Time.cc
+|   |   |-- Time.defs.hh
+|   |   |-- Time.inlines.hh
+|   |   |-- Time.types.hh
+|   |   |-- Watchdog.cc
+|   |   |-- Watchdog.defs.hh
+|   |   |-- Watchdog.inlines.hh
+|   |   |-- Watchdog.types.hh
+|   |   |-- pwl.hh.dist
+|   |   `-- pwl_header.hh
+|   |-- tests
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- pwl_test.cc
+|   |   |-- pwl_test.hh
+|   |   |-- valgrind_suppressions
+|   |   `-- watchdog1.cc
+|   `-- utils
+|       |-- Makefile.am
+|       |-- Makefile.in
+|       `-- build_header.in
+|-- aclocal.m4
+|-- compile
+|-- config.guess
+|-- config.h.in
+|-- config.rpath
+|-- config.sub
+|-- configure
+|-- configure.ac
+|-- demos
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- ppl_lcdd
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- examples
+|   |   |   |-- 1d.ine
+|   |   |   |-- 1da.ine
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README
+|   |   |   |-- allzero.ine
+|   |   |   |-- ccc4.ext
+|   |   |   |-- ccc5.ext
+|   |   |   |-- ccc6.ext
+|   |   |   |-- ccp4.ext
+|   |   |   |-- ccp5.ext
+|   |   |   |-- ccp6.ext
+|   |   |   |-- cp4.ext
+|   |   |   |-- cp4.ine
+|   |   |   |-- cp5.ext
+|   |   |   |-- cp5.ine
+|   |   |   |-- cp6.ext
+|   |   |   |-- cp6.ine
+|   |   |   |-- cp7.ext
+|   |   |   |-- cross10.ine
+|   |   |   |-- cross12.ine
+|   |   |   |-- cross4.ine
+|   |   |   |-- cross6.ine
+|   |   |   |-- cross8.ine
+|   |   |   |-- cube.ext
+|   |   |   |-- cube.ine
+|   |   |   |-- cube10.ine
+|   |   |   |-- cube12.ine
+|   |   |   |-- cube3.ine
+|   |   |   |-- cube6.ine
+|   |   |   |-- cube8.ine
+|   |   |   |-- cubetop.ine
+|   |   |   |-- cubocta.ine
+|   |   |   |-- cut16_11.ext
+|   |   |   |-- cut32_16.ext
+|   |   |   |-- cyc.ine
+|   |   |   |-- cyclic10-4.ext
+|   |   |   |-- cyclic12-6.ext
+|   |   |   |-- cyclic14-8.ext
+|   |   |   |-- cyclic16-10.ext
+|   |   |   |-- cyclic17_8.ine
+|   |   |   |-- cyclic25_13.ext
+|   |   |   |-- dcube10.ext
+|   |   |   |-- dcube12.ext
+|   |   |   |-- dcube3.ext
+|   |   |   |-- dcube6.ext
+|   |   |   |-- dcube8.ext
+|   |   |   |-- diamond.ine
+|   |   |   |-- dodeca_m.ine
+|   |   |   |-- ex1.ine
+|   |   |   |-- grcubocta.ine
+|   |   |   |-- hexocta.ine
+|   |   |   |-- icododeca_m.ine
+|   |   |   |-- in0.ine
+|   |   |   |-- in1.ine
+|   |   |   |-- in2.ine
+|   |   |   |-- in3.ine
+|   |   |   |-- in4.ine
+|   |   |   |-- in5.ine
+|   |   |   |-- in6.ine
+|   |   |   |-- in7.ine
+|   |   |   |-- infeas.ine
+|   |   |   |-- integralpoints.ine
+|   |   |   |-- irbox20-4.ext
+|   |   |   |-- irbox200-4.ext
+|   |   |   |-- kkd18_4.ine
+|   |   |   |-- kkd27_5.ine
+|   |   |   |-- kkd38_6.ine
+|   |   |   |-- kq20_11_m.ine
+|   |   |   |-- metric40_11.ine
+|   |   |   |-- metric80_16.ine
+|   |   |   |-- mit.ine
+|   |   |   |-- mit288-281.ine
+|   |   |   |-- mit31-20.ine
+|   |   |   |-- mit41-16.ine
+|   |   |   |-- mit708-9.ine
+|   |   |   |-- mit71-61.ine
+|   |   |   |-- mit90-86.ine
+|   |   |   |-- mp5.ext
+|   |   |   |-- mp5.ine
+|   |   |   |-- mp5a.ine
+|   |   |   |-- mp6.ine
+|   |   |   |-- nonfull.ine
+|   |   |   |-- origin.ine
+|   |   |   |-- prodst62.ext
+|   |   |   |-- project1_m.ine
+|   |   |   |-- project1res.ine
+|   |   |   |-- project2_m.ine
+|   |   |   |-- project2res.ine
+|   |   |   |-- rcubocta.ine
+|   |   |   |-- redcheck.ext
+|   |   |   |-- reg24-5.ext
+|   |   |   |-- reg24-5.ine
+|   |   |   |-- reg600-5_m.ext
+|   |   |   |-- rhomtria_m.ine
+|   |   |   |-- sample.ine
+|   |   |   |-- sampleh1.ine
+|   |   |   |-- sampleh2.ine
+|   |   |   |-- sampleh3.ine
+|   |   |   |-- sampleh4.ine
+|   |   |   |-- sampleh5.ine
+|   |   |   |-- sampleh6.ine
+|   |   |   |-- sampleh7.ine
+|   |   |   |-- sampleh8.ine
+|   |   |   |-- samplev1.ext
+|   |   |   |-- samplev2.ext
+|   |   |   |-- samplev3.ext
+|   |   |   |-- trunc10.ine
+|   |   |   |-- trunc7.ine
+|   |   |   |-- tsp5.ext
+|   |   |   `-- tsp5.ine
+|   |   |-- expected_int16
+|   |   |-- expected_int16_a
+|   |   |-- expected_int32
+|   |   |-- expected_int32_a
+|   |   |-- expected_int64
+|   |   |-- expected_int64_a
+|   |   |-- expected_int8
+|   |   |-- expected_int8_a
+|   |   |-- expected_mpz
+|   |   |-- expected_mpz_a
+|   |   |-- ppl_lcdd.1
+|   |   `-- ppl_lcdd.cc
+|   |-- ppl_lpsol
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- dummy.cc
+|   |   |-- examples
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README
+|   |   |   |-- adlittle.mps
+|   |   |   |-- afiro.mps
+|   |   |   |-- bgprtr.mps
+|   |   |   |-- blend.mps
+|   |   |   |-- boeing1.mps
+|   |   |   |-- boeing2.mps
+|   |   |   |-- egout.mps
+|   |   |   |-- ex1.mps
+|   |   |   |-- ex12.mps
+|   |   |   |-- kb2.mps
+|   |   |   |-- lseu.mps
+|   |   |   |-- markshare1.mps
+|   |   |   |-- markshare2.mps
+|   |   |   |-- mas74.mps
+|   |   |   |-- mas76.mps
+|   |   |   |-- mip.mps
+|   |   |   |-- modglob.mps
+|   |   |   |-- noswot.mps
+|   |   |   |-- opt1217.mps
+|   |   |   |-- p0033.mps
+|   |   |   |-- pk1.mps
+|   |   |   |-- rout.mps
+|   |   |   |-- sample.mps
+|   |   |   |-- sc105.mps
+|   |   |   |-- sc50a.mps
+|   |   |   |-- sc50b.mps
+|   |   |   |-- ship08l.mps
+|   |   |   `-- unboundedmin.mps
+|   |   |-- expected_int16
+|   |   |-- expected_int16_a
+|   |   |-- expected_int32
+|   |   |-- expected_int32_a
+|   |   |-- expected_int64
+|   |   |-- expected_int64_a
+|   |   |-- expected_int8
+|   |   |-- expected_int8_a
+|   |   |-- expected_mpz
+|   |   |-- expected_mpz_a
+|   |   |-- glpk_set_d_eps.c
+|   |   |-- ppl_lpsol.1
+|   |   `-- ppl_lpsol.c
+|   `-- ppl_pips
+|       |-- Makefile.am
+|       |-- Makefile.in
+|       |-- examples
+|       |   |-- Makefile.am
+|       |   |-- Makefile.in
+|       |   |-- README
+|       |   |-- big.pip
+|       |   |-- brisebarre.pip
+|       |   |-- cg1.pip
+|       |   |-- esced.pip
+|       |   |-- ex2.pip
+|       |   |-- fimmel.pip
+|       |   |-- invert.dat
+|       |   |-- linear.dat
+|       |   |-- lineri.dat
+|       |   |-- loz.dat
+|       |   |-- max.dat
+|       |   |-- max.pip
+|       |   |-- maxb.dat
+|       |   |-- pairi.dat
+|       |   |-- petit.dat
+|       |   |-- rairoi.dat
+|       |   |-- sor1d.pip
+|       |   |-- square.pip
+|       |   |-- test02.dat
+|       |   `-- test12i.dat
+|       |-- expected_int16
+|       |-- expected_int16_a
+|       |-- expected_int32
+|       |-- expected_int32_a
+|       |-- expected_int64
+|       |-- expected_int64_a
+|       |-- expected_int8
+|       |-- expected_int8_a
+|       |-- expected_mpz
+|       |-- expected_mpz_a
+|       |-- ppl_pips.1
+|       `-- ppl_pips.cc
+|-- depcomp
+|-- doc
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- README.doc
+|   |-- definitions.dox
+|   |-- devref-language-interface.doxyconf.in
+|   |-- devref-language-interface.tex
+|   |-- devref.doxyconf-html.in
+|   |-- devref.doxyconf-latex.in
+|   |-- devref.tex
+|   |-- fdl.dox
+|   |-- fdl.pdf
+|   |-- fdl.ps.gz
+|   |-- fdl.tex
+|   |-- fdl.txt
+|   |-- gpl.dox
+|   |-- gpl.pdf
+|   |-- gpl.ps.gz
+|   |-- gpl.tex
+|   |-- gpl.txt
+|   |-- interfaces-html.sed
+|   |-- interfaces-latex.sed
+|   |-- libppl.3
+|   |-- libppl_c.3
+|   |-- ppl-config.1
+|   |-- ppl-user-0.11.2-html.tar.gz
+|   |-- ppl-user-0.11.2.pdf
+|   |-- ppl-user-0.11.2.ps.gz
+|   |-- ppl-user-c-interface-0.11.2-html.tar.gz
+|   |-- ppl-user-c-interface-0.11.2.pdf
+|   |-- ppl-user-c-interface-0.11.2.ps.gz
+|   |-- ppl-user-java-interface-0.11.2-html.tar.gz
+|   |-- ppl-user-java-interface-0.11.2.pdf
+|   |-- ppl-user-java-interface-0.11.2.ps.gz
+|   |-- ppl-user-ocaml-interface-0.11.2-html.tar.gz
+|   |-- ppl-user-ocaml-interface-0.11.2.pdf
+|   |-- ppl-user-ocaml-interface-0.11.2.ps.gz
+|   |-- ppl-user-prolog-interface-0.11.2-html.tar.gz
+|   |-- ppl-user-prolog-interface-0.11.2.pdf
+|   |-- ppl-user-prolog-interface-0.11.2.ps.gz
+|   |-- ppl.sty
+|   |-- user-language-interface.doxyconf.in
+|   |-- user-language-interface.tex
+|   |-- user.doxyconf-html.in
+|   |-- user.doxyconf-latex.in
+|   `-- user.tex
+|-- install-sh
+|-- instchk.hh
+|-- interfaces
+|   |-- C
+|   |   |-- C_interface.dox
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- ppl_c.h.dist
+|   |   |-- ppl_c_header.h
+|   |   |-- ppl_c_implementation_common.cc
+|   |   |-- ppl_c_implementation_common.defs.hh
+|   |   |-- ppl_c_implementation_common.inlines.hh
+|   |   |-- ppl_c_version.h.in
+|   |   |-- ppl_interface_generator_c_cc_code.m4
+|   |   |-- ppl_interface_generator_c_cc_files.m4
+|   |   |-- ppl_interface_generator_c_h.m4
+|   |   |-- ppl_interface_generator_c_h_code.m4
+|   |   |-- ppl_interface_generator_c_hh_files.m4
+|   |   |-- ppl_interface_generator_c_procedure_generators.m4
+|   |   `-- tests
+|   |       |-- Makefile.am
+|   |       |-- Makefile.in
+|   |       |-- formatted_output.c
+|   |       |-- pip_test.c
+|   |       |-- ppl_c_test.cc
+|   |       |-- ppl_c_test.h
+|   |       |-- print_to_buffer.c
+|   |       |-- print_to_buffer.h
+|   |       |-- watchdog1.c
+|   |       `-- weightwatch1.c
+|   |-- Java
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- README.java
+|   |   |-- jni
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- ppl_interface_generator_java_classes_cc_code.m4
+|   |   |   |-- ppl_interface_generator_java_classes_cc_files.m4
+|   |   |   |-- ppl_java_common.cc
+|   |   |   |-- ppl_java_common.defs.hh
+|   |   |   |-- ppl_java_common.inlines.hh
+|   |   |   `-- ppl_java_globals.cc
+|   |   |-- parma_polyhedra_library
+|   |   |   |-- Artificial_Parameter.java
+|   |   |   |-- Artificial_Parameter_Sequence.java
+|   |   |   |-- Bounded_Integer_Type_Overflow.java
+|   |   |   |-- Bounded_Integer_Type_Representation.java
+|   |   |   |-- Bounded_Integer_Type_Width.java
+|   |   |   |-- By_Reference.java
+|   |   |   |-- Coefficient.java
+|   |   |   |-- Complexity_Class.java
+|   |   |   |-- Congruence.java
+|   |   |   |-- Congruence_System.java
+|   |   |   |-- Constraint.java
+|   |   |   |-- Constraint_System.java
+|   |   |   |-- Control_Parameter_Name.java
+|   |   |   |-- Control_Parameter_Value.java
+|   |   |   |-- Degenerate_Element.java
+|   |   |   |-- Domain_Error_Exception.java
+|   |   |   |-- Fake_Class_for_Doxygen.java
+|   |   |   |-- Generator.java
+|   |   |   |-- Generator_System.java
+|   |   |   |-- Generator_Type.java
+|   |   |   |-- Grid_Generator.java
+|   |   |   |-- Grid_Generator_System.java
+|   |   |   |-- Grid_Generator_Type.java
+|   |   |   |-- IO.java
+|   |   |   |-- Invalid_Argument_Exception.java
+|   |   |   |-- Length_Error_Exception.java
+|   |   |   |-- Linear_Expression.java
+|   |   |   |-- Linear_Expression_Coefficient.java
+|   |   |   |-- Linear_Expression_Difference.java
+|   |   |   |-- Linear_Expression_Sum.java
+|   |   |   |-- Linear_Expression_Times.java
+|   |   |   |-- Linear_Expression_Unary_Minus.java
+|   |   |   |-- Linear_Expression_Variable.java
+|   |   |   |-- Logic_Error_Exception.java
+|   |   |   |-- MIP_Problem.java
+|   |   |   |-- MIP_Problem_Status.java
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- Optimization_Mode.java
+|   |   |   |-- Overflow_Error_Exception.java
+|   |   |   |-- PIP_Decision_Node.java
+|   |   |   |-- PIP_Problem.java
+|   |   |   |-- PIP_Problem_Control_Parameter_Name.java
+|   |   |   |-- PIP_Problem_Control_Parameter_Value.java
+|   |   |   |-- PIP_Problem_Status.java
+|   |   |   |-- PIP_Solution_Node.java
+|   |   |   |-- PIP_Tree_Node.java
+|   |   |   |-- PPL_Object.java
+|   |   |   |-- Pair.java
+|   |   |   |-- Parma_Polyhedra_Library.java
+|   |   |   |-- Partial_Function.java
+|   |   |   |-- Poly_Con_Relation.java
+|   |   |   |-- Poly_Gen_Relation.java
+|   |   |   |-- Relation_Symbol.java
+|   |   |   |-- Timeout_Exception.java
+|   |   |   |-- Variable.java
+|   |   |   |-- Variables_Set.java
+|   |   |   |-- ppl_interface_generator_java_classes_java.m4
+|   |   |   `-- ppl_interface_generator_java_classes_java_code.m4
+|   |   |-- ppl_interface_generator_java_procedure_generators.m4
+|   |   `-- tests
+|   |       |-- C_Polyhedron_test1.java
+|   |       |-- MIP_Problem_test1.java
+|   |       |-- Makefile.am
+|   |       |-- Makefile.in
+|   |       |-- NNC_Polyhedron_test1.java
+|   |       |-- PIP_Problem_test1.java
+|   |       |-- PPL_Test.java
+|   |       |-- Parma_Polyhedra_Library_test1.java
+|   |       |-- Parma_Polyhedra_Library_test2.java
+|   |       |-- Test_Executor.java
+|   |       |-- ppl_interface_generator_java_test_java.m4
+|   |       |-- ppl_interface_generator_java_test_java_code.m4
+|   |       `-- ppl_java_tests_common
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- OCaml
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- OCaml_interface.dox
+|   |   |-- README.ocaml
+|   |   |-- ppl_interface_generator_ocaml_cc_code.m4
+|   |   |-- ppl_interface_generator_ocaml_cc_files.m4
+|   |   |-- ppl_interface_generator_ocaml_hh_code.m4
+|   |   |-- ppl_interface_generator_ocaml_hh_files.m4
+|   |   |-- ppl_interface_generator_ocaml_ml.m4
+|   |   |-- ppl_interface_generator_ocaml_ml_code.m4
+|   |   |-- ppl_interface_generator_ocaml_mli.m4
+|   |   |-- ppl_interface_generator_ocaml_mli_code.m4
+|   |   |-- ppl_interface_generator_ocaml_procedure_generators.m4
+|   |   |-- ppl_ocaml_common.cc
+|   |   |-- ppl_ocaml_common.defs.hh
+|   |   |-- ppl_ocaml_common.inlines.hh
+|   |   |-- ppl_ocaml_globals.ml
+|   |   |-- ppl_ocaml_globals.mli
+|   |   `-- tests
+|   |       |-- Makefile.am
+|   |       |-- Makefile.in
+|   |       |-- ppl_interface_generator_ocaml_test_ml.m4
+|   |       |-- ppl_interface_generator_ocaml_test_ml_code.m4
+|   |       |-- ppl_ocaml_tests_common
+|   |       `-- test1.ml
+|   |-- Prolog
+|   |   |-- Ciao
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README.ciao
+|   |   |   |-- ciao_cfli.hh
+|   |   |   |-- ciao_clpq.pl
+|   |   |   |-- ciao_clpq2.pl
+|   |   |   |-- ciao_efli.cc
+|   |   |   |-- ciao_efli.hh
+|   |   |   |-- ciao_pl_check.pl
+|   |   |   |-- ppl_interface_generator_ciao_pl.m4
+|   |   |   |-- ppl_interface_generator_ciao_prolog_generated_test_pl.m4
+|   |   |   `-- ppl_prolog_sysdep.hh
+|   |   |-- GNU
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README.gprolog
+|   |   |   |-- gnu_pl_check.pl
+|   |   |   |-- gnu_prolog_generated_test.pl
+|   |   |   |-- gp_clpq.pl
+|   |   |   |-- gprolog_cfli.hh
+|   |   |   |-- gprolog_efli.cc
+|   |   |   |-- gprolog_efli.hh
+|   |   |   |-- ppl_interface_generator_gprolog_pl.m4
+|   |   |   `-- ppl_prolog_sysdep.hh
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- Prolog_interface.dox
+|   |   |-- SICStus
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- ppl_interface_generator_sicstus_sd_cc.m4
+|   |   |   |-- ppl_prolog_sysdep.hh
+|   |   |   |-- ppl_sicstus.pl
+|   |   |   |-- sicstus_cfli.cc
+|   |   |   |-- sicstus_cfli.h
+|   |   |   |-- sicstus_cfli.ic
+|   |   |   |-- sicstus_efli.cc
+|   |   |   |-- sicstus_efli.hh
+|   |   |   |-- sp_clpq.pl
+|   |   |   |-- sp_pl_check.pl
+|   |   |   `-- sp_prolog_generated_test.pl
+|   |   |-- SWI
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README.swiprolog
+|   |   |   |-- pl_clpq.cc
+|   |   |   |-- pl_clpq.pl
+|   |   |   |-- ppl_interface_generator_swiprolog_cc.m4
+|   |   |   |-- ppl_pl.cc
+|   |   |   |-- ppl_prolog_sysdep.hh
+|   |   |   |-- ppl_swiprolog.pl
+|   |   |   |-- swi_cfli.hh
+|   |   |   |-- swi_efli.cc
+|   |   |   |-- swi_efli.hh
+|   |   |   |-- swi_pl_check.pl
+|   |   |   `-- swi_prolog_generated_test.pl
+|   |   |-- XSB
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- ppl_interface_generator_xsb_H.m4
+|   |   |   |-- ppl_interface_generator_xsb_cc.m4
+|   |   |   |-- ppl_interface_generator_xsb_hh.m4
+|   |   |   |-- ppl_interface_generator_xsb_prolog_generated_test_P.m4
+|   |   |   |-- ppl_prolog_sysdep.hh
+|   |   |   |-- xsb_cfli.hh
+|   |   |   |-- xsb_clpq.P
+|   |   |   |-- xsb_clpq2.P
+|   |   |   |-- xsb_efli.cc
+|   |   |   |-- xsb_efli.hh
+|   |   |   `-- xsb_pl_check.P
+|   |   |-- YAP
+|   |   |   |-- Makefile.am
+|   |   |   |-- Makefile.in
+|   |   |   |-- README.yap
+|   |   |   |-- ppl_interface_generator_yap_cc.m4
+|   |   |   |-- ppl_prolog_sysdep.hh
+|   |   |   |-- ppl_yap.pl
+|   |   |   |-- yap_cfli.hh
+|   |   |   |-- yap_clpq.pl
+|   |   |   |-- yap_clpq2.pl
+|   |   |   |-- yap_efli.cc
+|   |   |   |-- yap_efli.hh
+|   |   |   |-- yap_pl_check.pl
+|   |   |   `-- yap_prolog_generated_test.pl
+|   |   |-- ppl_interface_generator_prolog_cc_code.m4
+|   |   |-- ppl_interface_generator_prolog_cc_files.m4
+|   |   |-- ppl_interface_generator_prolog_dox.m4
+|   |   |-- ppl_interface_generator_prolog_dox_code.m4
+|   |   |-- ppl_interface_generator_prolog_hh_code.m4
+|   |   |-- ppl_interface_generator_prolog_hh_files.m4
+|   |   |-- ppl_interface_generator_prolog_procedure_generators.m4
+|   |   |-- ppl_interface_generator_prolog_systems.m4
+|   |   |-- ppl_prolog_common.cc
+|   |   |-- ppl_prolog_common.defs.hh
+|   |   |-- ppl_prolog_common.inlines.hh
+|   |   |-- ppl_prolog_sysdep_dox
+|   |   |-- ppl_prolog_sysindep_dox
+|   |   `-- tests
+|   |       |-- Makefile.am
+|   |       |-- Makefile.in
+|   |       |-- ack.clpq
+|   |       |-- ackn.clpq
+|   |       |-- clpq.pl
+|   |       |-- clpq2.pl
+|   |       |-- expected_clpq2_int16
+|   |       |-- expected_clpq2_int16_a
+|   |       |-- expected_clpq2_int32
+|   |       |-- expected_clpq2_int32_a
+|   |       |-- expected_clpq2_int64
+|   |       |-- expected_clpq2_int64_a
+|   |       |-- expected_clpq2_int8
+|   |       |-- expected_clpq2_int8_a
+|   |       |-- expected_clpq2_mpz
+|   |       |-- expected_clpq2_mpz_a
+|   |       |-- expected_clpq_int16
+|   |       |-- expected_clpq_int16_a
+|   |       |-- expected_clpq_int32
+|   |       |-- expected_clpq_int32_a
+|   |       |-- expected_clpq_int64
+|   |       |-- expected_clpq_int64_a
+|   |       |-- expected_clpq_int8
+|   |       |-- expected_clpq_int8_a
+|   |       |-- expected_clpq_mpz
+|   |       |-- expected_clpq_mpz_a
+|   |       |-- expected_pchk_int16
+|   |       |-- expected_pchk_int16_a
+|   |       |-- expected_pchk_int32
+|   |       |-- expected_pchk_int32_a
+|   |       |-- expected_pchk_int64
+|   |       |-- expected_pchk_int64_a
+|   |       |-- expected_pchk_int8
+|   |       |-- expected_pchk_int8_a
+|   |       |-- expected_pchk_mpz
+|   |       |-- expected_pchk_mpz_a
+|   |       |-- expected_pgt
+|   |       |-- fib.clpq
+|   |       |-- mc91.clpq
+|   |       |-- pl_check.pl
+|   |       |-- ppl_interface_generator_prolog_generated_test_pl.m4
+|   |       |-- ppl_interface_generator_prolog_generated_test_pl_code.m4
+|   |       |-- ppl_prolog_generated_test_common.pl
+|   |       |-- schedule.clpq
+|   |       |-- script_clpq
+|   |       |-- script_clpq2
+|   |       |-- script_clpq2_int8
+|   |       |-- smm.clpq
+|   |       |-- sumto.clpq
+|   |       `-- tak.clpq
+|   |-- interfaced_boxes.hh
+|   |-- marked_pointers.hh
+|   |-- ppl_interface_generator_common.m4
+|   |-- ppl_interface_generator_common_dat.m4
+|   |-- ppl_interface_generator_common_procedure_generators.m4
+|   `-- ppl_interface_generator_copyright
+|-- ltmain.sh
+|-- m4
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- ac_check_ciao.m4
+|   |-- ac_check_classpath.m4
+|   |-- ac_check_fpu_control.m4
+|   |-- ac_check_gmp.m4
+|   |-- ac_check_sicstus_prolog.m4
+|   |-- ac_check_swi_prolog.m4
+|   |-- ac_check_xsb_prolog.m4
+|   |-- ac_check_yap.m4
+|   |-- ac_cxx_attribute_weak.m4
+|   |-- ac_cxx_double_binary_format.m4
+|   |-- ac_cxx_double_exact_output.m4
+|   |-- ac_cxx_flexible_arrays.m4
+|   |-- ac_cxx_float_binary_format.m4
+|   |-- ac_cxx_float_exact_output.m4
+|   |-- ac_cxx_ieee_inexact_flag.m4
+|   |-- ac_cxx_limit_memory.m4
+|   |-- ac_cxx_long_double_binary_format.m4
+|   |-- ac_cxx_long_double_exact_output.m4
+|   |-- ac_cxx_plain_char_is_signed.m4
+|   |-- ac_cxx_proper_long_double.m4
+|   |-- ac_cxx_remainder_bug.m4
+|   |-- ac_prog_jar.m4
+|   |-- ac_prog_java.m4
+|   |-- ac_prog_javac.m4
+|   |-- ac_prog_javah.m4
+|   |-- ac_text_md5sum.m4
+|   |-- lib-ld.m4
+|   |-- lib-link.m4
+|   |-- lib-prefix.m4
+|   |-- libtool.m4
+|   |-- ltoptions.m4
+|   |-- ltsugar.m4
+|   |-- ltversion.m4
+|   |-- lt~obsolete.m4
+|   |-- m4.m4
+|   |-- ocaml.m4
+|   |-- ppl.m4
+|   `-- ppl_c.m4
+|-- missing
+|-- mkinstalldirs
+|-- ppl-config.h.in
+|-- ppl-config.sed
+|-- ppl.lsm.in
+|-- src
+|   |-- BDS_Status.idefs.hh
+|   |-- BDS_Status.inlines.hh
+|   |-- BD_Shape.cc
+|   |-- BD_Shape.defs.hh
+|   |-- BD_Shape.inlines.hh
+|   |-- BD_Shape.templates.hh
+|   |-- BD_Shape.types.hh
+|   |-- BHRZ03_Certificate.cc
+|   |-- BHRZ03_Certificate.defs.hh
+|   |-- BHRZ03_Certificate.inlines.hh
+|   |-- BHRZ03_Certificate.types.hh
+|   |-- BUGS.cc.dist
+|   |-- Bit_Matrix.cc
+|   |-- Bit_Matrix.defs.hh
+|   |-- Bit_Matrix.inlines.hh
+|   |-- Bit_Matrix.types.hh
+|   |-- Bit_Row.cc
+|   |-- Bit_Row.defs.hh
+|   |-- Bit_Row.inlines.hh
+|   |-- Bit_Row.types.hh
+|   |-- Boundary.defs.hh
+|   |-- Box.cc
+|   |-- Box.defs.hh
+|   |-- Box.inlines.hh
+|   |-- Box.templates.hh
+|   |-- Box.types.hh
+|   |-- Box_Status.idefs.hh
+|   |-- Box_Status.inlines.hh
+|   |-- COPYING.cc.dist
+|   |-- CREDITS.cc.dist
+|   |-- C_Integer.hh
+|   |-- C_Polyhedron.cc
+|   |-- C_Polyhedron.defs.hh
+|   |-- C_Polyhedron.inlines.hh
+|   |-- C_Polyhedron.types.hh
+|   |-- Checked_Number.cc
+|   |-- Checked_Number.defs.hh
+|   |-- Checked_Number.inlines.hh
+|   |-- Checked_Number.templates.hh
+|   |-- Checked_Number.types.hh
+|   |-- Coefficient.cc
+|   |-- Coefficient.defs.hh
+|   |-- Coefficient.inlines.hh
+|   |-- Coefficient.types.hh
+|   |-- Coefficient_traits_template.hh
+|   |-- Congruence.cc
+|   |-- Congruence.defs.hh
+|   |-- Congruence.inlines.hh
+|   |-- Congruence.types.hh
+|   |-- Congruence_System.cc
+|   |-- Congruence_System.defs.hh
+|   |-- Congruence_System.inlines.hh
+|   |-- Congruence_System.types.hh
+|   |-- Constraint.cc
+|   |-- Constraint.defs.hh
+|   |-- Constraint.inlines.hh
+|   |-- Constraint.types.hh
+|   |-- Constraint_System.cc
+|   |-- Constraint_System.defs.hh
+|   |-- Constraint_System.inlines.hh
+|   |-- Constraint_System.types.hh
+|   |-- DB_Matrix.defs.hh
+|   |-- DB_Matrix.inlines.hh
+|   |-- DB_Matrix.templates.hh
+|   |-- DB_Matrix.types.hh
+|   |-- DB_Row.defs.hh
+|   |-- DB_Row.inlines.hh
+|   |-- DB_Row.templates.hh
+|   |-- DB_Row.types.hh
+|   |-- Determinate.defs.hh
+|   |-- Determinate.inlines.hh
+|   |-- Determinate.types.hh
+|   |-- Float.cc
+|   |-- Float.defs.hh
+|   |-- Float.inlines.hh
+|   |-- GMP_Integer.defs.hh
+|   |-- GMP_Integer.inlines.hh
+|   |-- GMP_Integer.types.hh
+|   |-- Generator.cc
+|   |-- Generator.defs.hh
+|   |-- Generator.inlines.hh
+|   |-- Generator.types.hh
+|   |-- Generator_System.cc
+|   |-- Generator_System.defs.hh
+|   |-- Generator_System.inlines.hh
+|   |-- Generator_System.types.hh
+|   |-- Grid.defs.hh
+|   |-- Grid.inlines.hh
+|   |-- Grid.templates.hh
+|   |-- Grid.types.hh
+|   |-- Grid_Certificate.cc
+|   |-- Grid_Certificate.defs.hh
+|   |-- Grid_Certificate.inlines.hh
+|   |-- Grid_Certificate.types.hh
+|   |-- Grid_Generator.cc
+|   |-- Grid_Generator.defs.hh
+|   |-- Grid_Generator.inlines.hh
+|   |-- Grid_Generator.types.hh
+|   |-- Grid_Generator_System.cc
+|   |-- Grid_Generator_System.defs.hh
+|   |-- Grid_Generator_System.inlines.hh
+|   |-- Grid_Generator_System.types.hh
+|   |-- Grid_Status.cc
+|   |-- Grid_Status.idefs.hh
+|   |-- Grid_Status.inlines.hh
+|   |-- Grid_chdims.cc
+|   |-- Grid_conversion.cc
+|   |-- Grid_nonpublic.cc
+|   |-- Grid_public.cc
+|   |-- Grid_simplify.cc
+|   |-- Grid_widenings.cc
+|   |-- H79_Certificate.cc
+|   |-- H79_Certificate.defs.hh
+|   |-- H79_Certificate.inlines.hh
+|   |-- H79_Certificate.types.hh
+|   |-- Has_Assign_Or_Swap.hh
+|   |-- Init.cc
+|   |-- Init.defs.hh
+|   |-- Init.inlines.hh
+|   |-- Init.types.hh
+|   |-- Interval.defs.hh
+|   |-- Interval.inlines.hh
+|   |-- Interval.templates.hh
+|   |-- Interval.types.hh
+|   |-- Interval_Info.defs.hh
+|   |-- Interval_Info.inlines.hh
+|   |-- Interval_Info.types.hh
+|   |-- Interval_Restriction.defs.hh
+|   |-- Linear_Expression.cc
+|   |-- Linear_Expression.defs.hh
+|   |-- Linear_Expression.inlines.hh
+|   |-- Linear_Expression.types.hh
+|   |-- Linear_Row.cc
+|   |-- Linear_Row.defs.hh
+|   |-- Linear_Row.inlines.hh
+|   |-- Linear_Row.types.hh
+|   |-- Linear_System.cc
+|   |-- Linear_System.defs.hh
+|   |-- Linear_System.inlines.hh
+|   |-- Linear_System.types.hh
+|   |-- MIP_Problem.cc
+|   |-- MIP_Problem.defs.hh
+|   |-- MIP_Problem.inlines.hh
+|   |-- MIP_Problem.templates.hh
+|   |-- MIP_Problem.types.hh
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- Matrix.cc
+|   |-- Matrix.defs.hh
+|   |-- Matrix.inlines.hh
+|   |-- Matrix.types.hh
+|   |-- NNC_Polyhedron.cc
+|   |-- NNC_Polyhedron.defs.hh
+|   |-- NNC_Polyhedron.inlines.hh
+|   |-- NNC_Polyhedron.types.hh
+|   |-- Numeric_Format.defs.hh
+|   |-- OR_Matrix.defs.hh
+|   |-- OR_Matrix.inlines.hh
+|   |-- OR_Matrix.templates.hh
+|   |-- OR_Matrix.types.hh
+|   |-- Octagonal_Shape.cc
+|   |-- Octagonal_Shape.defs.hh
+|   |-- Octagonal_Shape.inlines.hh
+|   |-- Octagonal_Shape.templates.hh
+|   |-- Octagonal_Shape.types.hh
+|   |-- Og_Status.idefs.hh
+|   |-- Og_Status.inlines.hh
+|   |-- PIP_Problem.cc
+|   |-- PIP_Problem.defs.hh
+|   |-- PIP_Problem.inlines.hh
+|   |-- PIP_Problem.templates.hh
+|   |-- PIP_Problem.types.hh
+|   |-- PIP_Tree.cc
+|   |-- PIP_Tree.defs.hh
+|   |-- PIP_Tree.inlines.hh
+|   |-- PIP_Tree.types.hh
+|   |-- Partial_Function.cc
+|   |-- Partial_Function.defs.hh
+|   |-- Partial_Function.inlines.hh
+|   |-- Partial_Function.types.hh
+|   |-- Partially_Reduced_Product.defs.hh
+|   |-- Partially_Reduced_Product.inlines.hh
+|   |-- Partially_Reduced_Product.templates.hh
+|   |-- Partially_Reduced_Product.types.hh
+|   |-- Ph_Status.cc
+|   |-- Ph_Status.idefs.hh
+|   |-- Ph_Status.inlines.hh
+|   |-- Pointset_Powerset.cc
+|   |-- Pointset_Powerset.defs.hh
+|   |-- Pointset_Powerset.inlines.hh
+|   |-- Pointset_Powerset.templates.hh
+|   |-- Pointset_Powerset.types.hh
+|   |-- Poly_Con_Relation.cc
+|   |-- Poly_Con_Relation.defs.hh
+|   |-- Poly_Con_Relation.inlines.hh
+|   |-- Poly_Con_Relation.types.hh
+|   |-- Poly_Gen_Relation.cc
+|   |-- Poly_Gen_Relation.defs.hh
+|   |-- Poly_Gen_Relation.inlines.hh
+|   |-- Poly_Gen_Relation.types.hh
+|   |-- Polyhedron.defs.hh
+|   |-- Polyhedron.inlines.hh
+|   |-- Polyhedron.templates.hh
+|   |-- Polyhedron.types.hh
+|   |-- Polyhedron_chdims.cc
+|   |-- Polyhedron_nonpublic.cc
+|   |-- Polyhedron_public.cc
+|   |-- Polyhedron_widenings.cc
+|   |-- Powerset.defs.hh
+|   |-- Powerset.inlines.hh
+|   |-- Powerset.templates.hh
+|   |-- Powerset.types.hh
+|   |-- Ptr_Iterator.defs.hh
+|   |-- Ptr_Iterator.inlines.hh
+|   |-- Ptr_Iterator.types.hh
+|   |-- Rational_Box.hh
+|   |-- Rational_Interval.hh
+|   |-- Result.defs.hh
+|   |-- Result.inlines.hh
+|   |-- Rounding_Dir.defs.hh
+|   |-- Rounding_Dir.inlines.hh
+|   |-- Row.cc
+|   |-- Row.defs.hh
+|   |-- Row.inlines.hh
+|   |-- Row.types.hh
+|   |-- Scalar_Products.cc
+|   |-- Scalar_Products.defs.hh
+|   |-- Scalar_Products.inlines.hh
+|   |-- Scalar_Products.types.hh
+|   |-- Slow_Copy.hh
+|   |-- Temp.defs.hh
+|   |-- Temp.inlines.hh
+|   |-- Temp.templates.hh
+|   |-- Topology.hh
+|   |-- Variable.cc
+|   |-- Variable.defs.hh
+|   |-- Variable.inlines.hh
+|   |-- Variable.types.hh
+|   |-- Variables_Set.cc
+|   |-- Variables_Set.defs.hh
+|   |-- Variables_Set.inlines.hh
+|   |-- Variables_Set.types.hh
+|   |-- WRD_coefficient_types.defs.hh
+|   |-- WRD_coefficient_types.inlines.hh
+|   |-- Weight_Profiler.cc
+|   |-- Weight_Profiler.defs.hh
+|   |-- Widening_Function.defs.hh
+|   |-- Widening_Function.inlines.hh
+|   |-- Widening_Function.types.hh
+|   |-- algorithms.hh
+|   |-- assert.hh
+|   |-- assign_or_swap.hh
+|   |-- c_streambuf.cc
+|   |-- c_streambuf.defs.hh
+|   |-- c_streambuf.inlines.hh
+|   |-- c_streambuf.types.hh
+|   |-- checked.cc
+|   |-- checked.defs.hh
+|   |-- checked.inlines.hh
+|   |-- checked_ext.inlines.hh
+|   |-- checked_float.inlines.hh
+|   |-- checked_int.inlines.hh
+|   |-- checked_mpq.inlines.hh
+|   |-- checked_mpz.inlines.hh
+|   |-- checked_numeric_limits.hh
+|   |-- compiler.hh
+|   |-- conversion.cc
+|   |-- distances.defs.hh
+|   |-- distances.inlines.hh
+|   |-- distances.types.hh
+|   |-- fpu-c99.inlines.hh
+|   |-- fpu-ia32.cc
+|   |-- fpu-ia32.inlines.hh
+|   |-- fpu-none.inlines.hh
+|   |-- fpu-sparc.inlines.hh
+|   |-- fpu.defs.hh
+|   |-- fpu.types.hh
+|   |-- globals.cc
+|   |-- globals.defs.hh
+|   |-- globals.inlines.hh
+|   |-- globals.types.hh
+|   |-- initializer.hh
+|   |-- intervals.defs.hh
+|   |-- iterator_to_const.defs.hh
+|   |-- iterator_to_const.inlines.hh
+|   |-- iterator_to_const.types.hh
+|   |-- math_utilities.defs.hh
+|   |-- math_utilities.inlines.hh
+|   |-- max_space_dimension.hh
+|   |-- meta_programming.hh
+|   |-- minimize.cc
+|   |-- mp_std_bits.cc
+|   |-- mp_std_bits.defs.hh
+|   |-- mp_std_bits.inlines.hh
+|   |-- namespaces.hh
+|   |-- ppl-config.cc.in
+|   |-- ppl.hh.dist
+|   |-- ppl_header.hh
+|   |-- simplify.cc
+|   |-- stdiobuf.cc
+|   |-- stdiobuf.defs.hh
+|   |-- stdiobuf.inlines.hh
+|   |-- stdiobuf.types.hh
+|   |-- swapping_sort.icc
+|   |-- termination.cc
+|   |-- termination.defs.hh
+|   |-- termination.templates.hh
+|   |-- version.cc
+|   |-- version.hh.in
+|   |-- wrap_assign.hh
+|   |-- wrap_string.cc
+|   `-- wrap_string.hh
+|-- tests
+|   |-- BD_Shape
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addconstraints1.cc
+|   |   |-- addspacedims1.cc
+|   |   |-- affinedimension1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affineimage2.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- bgp99extrapolation1.cc
+|   |   |-- bhmz05widening1.cc
+|   |   |-- bhz03widening1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- boundedaffinepreimage1.cc
+|   |   |-- bounds1.cc
+|   |   |-- cc76extrapolation1.cc
+|   |   |-- cc76narrowing1.cc
+|   |   |-- closure1.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruences1.cc
+|   |   |-- constrains1.cc
+|   |   |-- constraints1.cc
+|   |   |-- contains1.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- difference1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- dropsomenonintegerpoints1.cc
+|   |   |-- empty1.cc
+|   |   |-- equality1.cc
+|   |   |-- expandspacedim1.cc
+|   |   |-- foldspacedims1.cc
+|   |   |-- frequency1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromgensys1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- fromspacedim1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- generalizedaffineimage2.cc
+|   |   |-- generalizedaffinepreimage1.cc
+|   |   |-- generalizedaffinepreimage2.cc
+|   |   |-- generalizedaffinepreimage3.cc
+|   |   |-- geomcovers1.cc
+|   |   |-- h79widening1.cc
+|   |   |-- integerupperboundifexact1.cc
+|   |   |-- intersection1.cc
+|   |   |-- limitedbhmz05extrapolation1.cc
+|   |   |-- limitedcc76extrapolation1.cc
+|   |   |-- limitedh79extrapolation1.cc
+|   |   |-- mapspacedims1.cc
+|   |   |-- max_min1.cc
+|   |   |-- max_min2.cc
+|   |   |-- maxspacedim1.cc
+|   |   |-- membytes1.cc
+|   |   |-- minconstraints1.cc
+|   |   |-- relations1.cc
+|   |   |-- relations2.cc
+|   |   |-- relations3.cc
+|   |   |-- relations4.cc
+|   |   |-- removespacedims1.cc
+|   |   |-- run_tests
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- unconstrain1.cc
+|   |   |-- universe1.cc
+|   |   |-- upperbound1.cc
+|   |   |-- upperboundifexact1.cc
+|   |   |-- wrap1.cc
+|   |   `-- writebdshape1.cc
+|   |-- Box
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addconstraints1.cc
+|   |   |-- addspacedims1.cc
+|   |   |-- affinedimension1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- bgp99extrapolation1.cc
+|   |   |-- bhz03widening1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- boundedaffinepreimage1.cc
+|   |   |-- cc76narrowing1.cc
+|   |   |-- cc76widening.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruences1.cc
+|   |   |-- constrains1.cc
+|   |   |-- constraints1.cc
+|   |   |-- contains1.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- difference1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- empty1.cc
+|   |   |-- equality1.cc
+|   |   |-- expandspacedim1.cc
+|   |   |-- foldspacedims1.cc
+|   |   |-- frequency1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromgensys1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- frompartiallyreducedproduct1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- frompolyhedron2.cc
+|   |   |-- fromspacedim1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- generalizedaffineimage2.cc
+|   |   |-- generalizedaffinepreimage1.cc
+|   |   |-- geomcovers1.cc
+|   |   |-- intersection1.cc
+|   |   |-- interval1.cc
+|   |   |-- limitedcc76extrapolation1.cc
+|   |   |-- mapspacedims1.cc
+|   |   |-- max_min1.cc
+|   |   |-- maxspacedim1.cc
+|   |   |-- membytes1.cc
+|   |   |-- minconstraints1.cc
+|   |   |-- propagateconstraints1.cc
+|   |   |-- propagateconstraints2.cc
+|   |   |-- refinewithcongruence1.cc
+|   |   |-- refinewithcongruences1.cc
+|   |   |-- refinewithconstraint1.cc
+|   |   |-- refinewithconstraint2.cc
+|   |   |-- refinewithconstraints1.cc
+|   |   |-- refinewithconstraints2.cc
+|   |   |-- relations1.cc
+|   |   |-- relations2.cc
+|   |   |-- relations3.cc
+|   |   |-- relations4.cc
+|   |   |-- removespacedims1.cc
+|   |   |-- run_tests
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- topclosed1.cc
+|   |   |-- unconstrain1.cc
+|   |   |-- universe1.cc
+|   |   |-- upperbound1.cc
+|   |   |-- upperboundifexact1.cc
+|   |   |-- wrap1.cc
+|   |   `-- writebox1.cc
+|   |-- Grid
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addcongruence1.cc
+|   |   |-- addcongruences1.cc
+|   |   |-- addconstraint1.cc
+|   |   |-- addconstraints1.cc
+|   |   |-- addgenerator1.cc
+|   |   |-- addgenerators1.cc
+|   |   |-- addspacedims1.cc
+|   |   |-- affinedim1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affineimage2.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- affinepreimage2.cc
+|   |   |-- approximatepartition1.cc
+|   |   |-- asciidumpload1.cc
+|   |   |-- asciidumpload2.cc
+|   |   |-- asciidumpload3.cc
+|   |   |-- asciidumpload4.cc
+|   |   |-- asciidumpload5.cc
+|   |   |-- asciidumpload6.cc
+|   |   |-- bhz03widening1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- boundedaffinepreimage1.cc
+|   |   |-- bounds1.cc
+|   |   |-- certificate1.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruence1.cc
+|   |   |-- congruences1.cc
+|   |   |-- congruences2.cc
+|   |   |-- constraints1.cc
+|   |   |-- contains1.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- dropnonintegerpoints1.cc
+|   |   |-- equals1.cc
+|   |   |-- expandspacedim1.cc
+|   |   |-- foldspacedims1.cc
+|   |   |-- frequency1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- generalizedaffineimage2.cc
+|   |   |-- generalizedaffineimage3.cc
+|   |   |-- generalizedaffinepreimage1.cc
+|   |   |-- generalizedaffinepreimage2.cc
+|   |   |-- generalizedaffinepreimage3.cc
+|   |   |-- generator1.cc
+|   |   |-- generators1.cc
+|   |   |-- generators2.cc
+|   |   |-- grid1.cc
+|   |   |-- grid2.cc
+|   |   |-- grid3.cc
+|   |   |-- griddifference1.cc
+|   |   |-- intersection1.cc
+|   |   |-- isempty1.cc
+|   |   |-- isuniverse1.cc
+|   |   |-- limitedextrapolation1.cc
+|   |   |-- limitedextrapolation2.cc
+|   |   |-- limitedextrapolation3.cc
+|   |   |-- mapspacedims1.cc
+|   |   |-- maxmin1.cc
+|   |   |-- membytes1.cc
+|   |   |-- mincongruences1.cc
+|   |   |-- mingenerators1.cc
+|   |   |-- outputoperator1.cc
+|   |   |-- outputoperator2.cc
+|   |   |-- outputoperator3.cc
+|   |   |-- partition1.cc
+|   |   |-- powersetdifference1.cc
+|   |   |-- powersetgeometricallycovers1.cc
+|   |   |-- powersetgeometricallyequals1.cc
+|   |   |-- refinewithcongruences1.cc
+|   |   |-- refinewithconstraints1.cc
+|   |   |-- relations1.cc
+|   |   |-- relations2.cc
+|   |   |-- relations3.cc
+|   |   |-- removespacedims1.cc
+|   |   |-- removespacedims2.cc
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- topclosed1.cc
+|   |   |-- topclosure1.cc
+|   |   |-- unconstrain1.cc
+|   |   |-- upperbound1.cc
+|   |   |-- upperbound2.cc
+|   |   |-- widening1.cc
+|   |   |-- widening2.cc
+|   |   |-- widening3.cc
+|   |   |-- wrap1.cc
+|   |   `-- writecongruencesystem.cc
+|   |-- MIP_Problem
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- exceptions1.cc
+|   |   |-- mipproblem1.cc
+|   |   |-- mipproblem2.cc
+|   |   `-- mipproblem3.cc
+|   |-- Makefile.am
+|   |-- Makefile.in
+|   |-- Octagonal_Shape
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addspacedims1.cc
+|   |   |-- affinedimension1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affineimage2.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- affinepreimage2.cc
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- bhmz05widening1.cc
+|   |   |-- bhz03widening1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- boundedaffinepreimage1.cc
+|   |   |-- bounds1.cc
+|   |   |-- cc76extrapolation1.cc
+|   |   |-- cc76narrowing1.cc
+|   |   |-- chinainit.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruences1.cc
+|   |   |-- constrains1.cc
+|   |   |-- constraints1.cc
+|   |   |-- contains1.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- difference1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- dropsomenonintegerpoints1.cc
+|   |   |-- empty1.cc
+|   |   |-- expandspacedim1.cc
+|   |   |-- foldspacedims1.cc
+|   |   |-- frequency1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromgensys1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- fromspacedim1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- generalizedaffineimage2.cc
+|   |   |-- generalizedaffineimage3.cc
+|   |   |-- generalizedaffineimage4.cc
+|   |   |-- generalizedaffineimage5.cc
+|   |   |-- generalizedaffinepreimage1.cc
+|   |   |-- generalizedaffinepreimage2.cc
+|   |   |-- generalizedaffinepreimage3.cc
+|   |   |-- generalizedaffinepreimage4.cc
+|   |   |-- integerupperboundifexact1.cc
+|   |   |-- intersection1.cc
+|   |   |-- limitedbhmz05extrapolation1.cc
+|   |   |-- limitedcc76extrapolation1.cc
+|   |   |-- mapspacedims1.cc
+|   |   |-- max_min1.cc
+|   |   |-- max_min2.cc
+|   |   |-- maxspacedim1.cc
+|   |   |-- membytes1.cc
+|   |   |-- minconstraints1.cc
+|   |   |-- relatwithcons1.cc
+|   |   |-- relatwithcons2.cc
+|   |   |-- relatwithcons3.cc
+|   |   |-- relatwithgen1.cc
+|   |   |-- removespacedims1.cc
+|   |   |-- run_tests
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- unconstrain1.cc
+|   |   |-- universe1.cc
+|   |   |-- upperbound1.cc
+|   |   |-- upperboundifexact1.cc
+|   |   |-- wrap1.cc
+|   |   `-- writeoctagon1.cc
+|   |-- PIP_Problem
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- exceptions1.cc
+|   |   |-- pipproblem1.cc
+|   |   |-- pipproblem2.cc
+|   |   `-- pipproblem3.cc
+|   |-- Partially_Reduced_Product
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addcongruences1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- asciidumpload1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- bounds1.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruences1.cc
+|   |   |-- congruencesproduct1.cc
+|   |   |-- constraints1.cc
+|   |   |-- constraintsproduct1.cc
+|   |   |-- contains1.cc
+|   |   |-- difference1.cc
+|   |   |-- dimension1.cc
+|   |   |-- directproduct1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- dropsomenonintegerpoints1.cc
+|   |   |-- equals1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- fromproduct1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- intersection1.cc
+|   |   |-- isempty1.cc
+|   |   |-- isuniverse1.cc
+|   |   |-- maxmin1.cc
+|   |   |-- partially_reduced_product_test.hh
+|   |   |-- refinewithcongruences1.cc
+|   |   |-- refinewithconstraints1.cc
+|   |   |-- relations1.cc
+|   |   |-- shapepreservingproduct1.cc
+|   |   |-- smashproduct1.cc
+|   |   |-- spacedims1.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- topclosed1.cc
+|   |   |-- topclosure1.cc
+|   |   `-- upperbound1.cc
+|   |-- Polyhedron
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addcongruence1.cc
+|   |   |-- addcongruences1.cc
+|   |   |-- addconstraint1.cc
+|   |   |-- addconstraints1.cc
+|   |   |-- addconstraints2.cc
+|   |   |-- addgenerator1.cc
+|   |   |-- addgenerator2.cc
+|   |   |-- addgenerators1.cc
+|   |   |-- addgenerators2.cc
+|   |   |-- addspacedims1.cc
+|   |   |-- addspacedims2.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affineimage2.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- affinetrans.cc
+|   |   |-- append1.cc
+|   |   |-- append2.cc
+|   |   |-- ascii_dump_load1.cc
+|   |   |-- ascii_dump_load2.cc
+|   |   |-- ascii_dump_load3.cc
+|   |   |-- bgp99extrapolation1.cc
+|   |   |-- bgp99extrapolation2.cc
+|   |   |-- bhrz03widening1.cc
+|   |   |-- bhrz03widening2.cc
+|   |   |-- bhrz03widening3.cc
+|   |   |-- bhz03widening1.cc
+|   |   |-- bounded1.cc
+|   |   |-- boundedaffineimage1.cc
+|   |   |-- boundedaffinepreimage1.cc
+|   |   |-- boundedbhrz03extrapolation1.cc
+|   |   |-- boundedh79extrapolation1.cc
+|   |   |-- bounds1.cc
+|   |   |-- cnncconversion1.cc
+|   |   |-- concatenate1.cc
+|   |   |-- congruences1.cc
+|   |   |-- constrains1.cc
+|   |   |-- constraints1.cc
+|   |   |-- contains1.cc
+|   |   |-- contains2.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- disjoint2.cc
+|   |   |-- dropsomenonintegerpoints1.cc
+|   |   |-- dropsomenonintegerpoints2.cc
+|   |   |-- dualhypercubes.cc
+|   |   |-- empty1.cc
+|   |   |-- equals1.cc
+|   |   |-- exceptions1.cc
+|   |   |-- exceptions2.cc
+|   |   |-- exceptions3.cc
+|   |   |-- expandspacedim1.cc
+|   |   |-- expandspacedim2.cc
+|   |   |-- foldspacedims1.cc
+|   |   |-- foldspacedims2.cc
+|   |   |-- frequency1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- frombox2.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- generalizedaffineimage1.cc
+|   |   |-- generalizedaffineimage2.cc
+|   |   |-- generalizedaffinepreimage1.cc
+|   |   |-- generalizedaffinepreimage2.cc
+|   |   |-- generators1.cc
+|   |   |-- geomcovers1.cc
+|   |   |-- h79widening1.cc
+|   |   |-- h79widening2.cc
+|   |   |-- hybrid.cc
+|   |   |-- intersection1.cc
+|   |   |-- limitedbhrz03extrapolation1.cc
+|   |   |-- limitedh79extrapolation1.cc
+|   |   |-- linearexpression1.cc
+|   |   |-- linearpartition1.cc
+|   |   |-- linearsystem1.cc
+|   |   |-- mapspacedims1.cc
+|   |   |-- matrix1.cc
+|   |   |-- max_min1.cc
+|   |   |-- maxspacedim1.cc
+|   |   |-- mc91.cc
+|   |   |-- membytes1.cc
+|   |   |-- memory1.cc
+|   |   |-- memory2.cc
+|   |   |-- minconstraints1.cc
+|   |   |-- minconstraints2.cc
+|   |   |-- mingenerators1.cc
+|   |   |-- mingenerators2.cc
+|   |   |-- nncminimize1.cc
+|   |   |-- nncminimize2.cc
+|   |   |-- numberinput1.cc
+|   |   |-- onepoint.cc
+|   |   |-- permute.cc
+|   |   |-- polydifference1.cc
+|   |   |-- polydifference2.cc
+|   |   |-- polyhull1.cc
+|   |   |-- polyhull2.cc
+|   |   |-- polyhullifexact1.cc
+|   |   |-- polyhullifexact2.cc
+|   |   |-- randphull1.cc
+|   |   |-- refinewithcongruence1.cc
+|   |   |-- refinewithcongruences1.cc
+|   |   |-- refinewithconstraint1.cc
+|   |   |-- refinewithconstraints1.cc
+|   |   |-- relations1.cc
+|   |   |-- relations2.cc
+|   |   |-- relations3.cc
+|   |   |-- removespacedims1.cc
+|   |   |-- removespacedims2.cc
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- smm1.cc
+|   |   |-- termination1.cc
+|   |   |-- termination2.cc
+|   |   |-- timeelapse1.cc
+|   |   |-- timeelapse2.cc
+|   |   |-- topclosed1.cc
+|   |   |-- topclosure1.cc
+|   |   |-- unconstrain1.cc
+|   |   |-- universe1.cc
+|   |   |-- universe2.cc
+|   |   |-- variablesset1.cc
+|   |   |-- watchdog1.cc
+|   |   |-- weightwatch1.cc
+|   |   |-- wrap1.cc
+|   |   |-- wrap2.cc
+|   |   |-- writeconsys1.cc
+|   |   |-- writegensys1.cc
+|   |   |-- writepolyhedron1.cc
+|   |   |-- writepolyhedron2.cc
+|   |   |-- writerelation1.cc
+|   |   `-- writevariable1.cc
+|   |-- Powerset
+|   |   |-- Makefile.am
+|   |   |-- Makefile.in
+|   |   |-- addcongruences1.cc
+|   |   |-- addconstraints1.cc
+|   |   |-- affinedimension1.cc
+|   |   |-- affineimage1.cc
+|   |   |-- affinepreimage1.cc
+|   |   |-- bounded1.cc
+|   |   |-- bounds1.cc
+|   |   |-- closed1.cc
+|   |   |-- closure1.cc
+|   |   |-- collapse1.cc
+|   |   |-- concatenate1.cc
+|   |   |-- contains1.cc
+|   |   |-- containsintegerpoint1.cc
+|   |   |-- difference1.cc
+|   |   |-- discrete1.cc
+|   |   |-- disjoint1.cc
+|   |   |-- disjunct1.cc
+|   |   |-- empty1.cc
+|   |   |-- entails1.cc
+|   |   |-- equals1.cc
+|   |   |-- frombdshape1.cc
+|   |   |-- frombox1.cc
+|   |   |-- fromcongruences1.cc
+|   |   |-- fromconstraints1.cc
+|   |   |-- fromgrid1.cc
+|   |   |-- fromoctagonalshape1.cc
+|   |   |-- frompolyhedron1.cc
+|   |   |-- fromspacedimension1.cc
+|   |   |-- intersection1.cc
+|   |   |-- maxmin1.cc
+|   |   |-- meet1.cc
+|   |   |-- membytes1.cc
+|   |   |-- powerset1.cc
+|   |   |-- reduce1.cc
+|   |   |-- refinewith1.cc
+|   |   |-- relationwith1.cc
+|   |   |-- simplifyusingcontext1.cc
+|   |   |-- size1.cc
+|   |   |-- spacedims1.cc
+|   |   |-- universe1.cc
+|   |   `-- upperbound1.cc
+|   |-- README
+|   |-- Random_Number_Generator.defs.hh
+|   |-- Random_Number_Generator.inlines.hh
+|   |-- Random_Number_Generator.types.hh
+|   |-- files.cc
+|   |-- files.hh
+|   |-- ppl_test.cc
+|   |-- ppl_test.hh
+|   `-- valgrind_suppressions
+`-- utils
+    |-- Makefile.am
+    |-- Makefile.in
+    |-- build_header.in
+    |-- cm_cleaner.sh
+    |-- cm_splitter.sh
+    |-- text2cxxarray.in
+    |-- timings.cc
+    `-- timings.hh
+
+
+--------
+
+Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
+
+This file is part of the Parma Polyhedra Library (PPL).
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no
+Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+The license is included, in various formats, in the `doc' subdirectory
+of each distribution of the PPL in files called `fdl.*'.
+
+The PPL is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.  The license is included, in various
+formats, in the `doc' subdirectory of each distribution of the PPL in
+files called `gpl.*'.
+
+The PPL is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+If you have not received a copy of one or both the above mentioned
+licenses along with the PPL, write to the Free Software Foundation,
+Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/ .