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/ .
