Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2020 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.
Parma Polyhedra Library (Release 1.2)
=====================================
This is the release 1.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;
+ some special classes of polyhedra shapes that offer interesting
complexity/precision tradeoffs: boxes, bounded difference shapes
and octagonal shapes defined over 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 and products of the above;
+ linear programming problems, solved with an implementation of the
primal simplex algorithm using exact arithmetic;
+ parametric integer programming problems;
+ termination analysis problems, via the automatic synthesis of
linear ranking functions.
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://bugseng.com/products/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 1.2 source distribution
(41 directories, 1634 files):
ppl-1.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
|-- 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
| |-- bugseng_logo.pdf
| |-- 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-1.2-html.tar.gz
| |-- ppl-user-1.2.pdf
| |-- ppl-user-1.2.ps.gz
| |-- ppl-user-c-interface-1.2-html.tar.gz
| |-- ppl-user-c-interface-1.2.pdf
| |-- ppl-user-c-interface-1.2.ps.gz
| |-- ppl-user-java-interface-1.2-html.tar.gz
| |-- ppl-user-java-interface-1.2.pdf
| |-- ppl-user-java-interface-1.2.ps.gz
| |-- ppl-user-prolog-interface-1.2-html.tar.gz
| |-- ppl-user-prolog-interface-1.2.pdf
| |-- ppl-user-prolog-interface-1.2.ps.gz
| |-- ppl.bib
| |-- ppl.sty
| |-- ppl_citations.bib
| |-- ppl_logo.pdf
| |-- ppl_logo_no_ppl.pdf
| |-- 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
| | | |-- Variable_Stringifier.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
| | |-- Custom_Variable_Stringifier.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
| | |-- Variable_Output_test1.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_configured_interface.dox
| | |-- Prolog_interface.dox
| | |-- Prolog_interface_compilation.dox
| | |-- Prolog_interface_sysdep.dox
| | |-- Prolog_interface_sysindep.dox
| | |-- Prolog_interface_sysindep_domains.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.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
| | `-- 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_cxx11.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_float_binary_format.m4
| |-- ac_cxx_ieee_inexact_flag.m4
| |-- ac_cxx_limit_memory.m4
| |-- ac_cxx_long_double_binary_format.m4
| |-- ac_cxx_plain_char_is_signed.m4
| |-- ac_cxx_proper_long_double.m4
| |-- ac_cxx_zero_length_arrays.m4
| |-- ac_prog_jar.m4
| |-- ac_prog_java.m4
| |-- ac_prog_javac.m4
| |-- ac_prog_javah.m4
| |-- ac_text_md5sum.m4
| |-- ac_use_libtool.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.cc
| |-- 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
| |-- BUGS.hh.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_Status.cc
| |-- Box_Status_idefs.hh
| |-- Box_Status_inlines.hh
| |-- Box_defs.hh
| |-- Box_inlines.hh
| |-- Box_templates.hh
| |-- Box_types.hh
| |-- COPYING.cc.dist
| |-- COPYING.hh.dist
| |-- CO_Tree.cc
| |-- CO_Tree_defs.hh
| |-- CO_Tree_inlines.hh
| |-- CO_Tree_templates.hh
| |-- CO_Tree_types.hh
| |-- CREDITS.cc.dist
| |-- CREDITS.hh.dist
| |-- C_Integer.hh
| |-- C_Polyhedron.cc
| |-- C_Polyhedron_defs.hh
| |-- C_Polyhedron_inlines.hh
| |-- C_Polyhedron_types.hh
| |-- Cast_Floating_Point_Expression_defs.hh
| |-- Cast_Floating_Point_Expression_inlines.hh
| |-- Cast_Floating_Point_Expression_templates.hh
| |-- Cast_Floating_Point_Expression_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_traits_template.hh
| |-- Coefficient_types.hh
| |-- Concrete_Expression.cc
| |-- Concrete_Expression_defs.hh
| |-- Concrete_Expression_inlines.hh
| |-- Concrete_Expression_types.hh
| |-- Congruence.cc
| |-- Congruence_System.cc
| |-- Congruence_System_defs.hh
| |-- Congruence_System_inlines.hh
| |-- Congruence_System_types.hh
| |-- Congruence_defs.hh
| |-- Congruence_inlines.hh
| |-- Congruence_types.hh
| |-- Constant_Floating_Point_Expression_defs.hh
| |-- Constant_Floating_Point_Expression_inlines.hh
| |-- Constant_Floating_Point_Expression_types.hh
| |-- Constraint.cc
| |-- Constraint_System.cc
| |-- Constraint_System_defs.hh
| |-- Constraint_System_inlines.hh
| |-- Constraint_System_types.hh
| |-- Constraint_defs.hh
| |-- Constraint_inlines.hh
| |-- Constraint_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
| |-- Dense_Row.cc
| |-- Dense_Row_defs.hh
| |-- Dense_Row_inlines.hh
| |-- Dense_Row_templates.hh
| |-- Dense_Row_types.hh
| |-- Determinate_defs.hh
| |-- Determinate_inlines.hh
| |-- Determinate_types.hh
| |-- Difference_Floating_Point_Expression_defs.hh
| |-- Difference_Floating_Point_Expression_inlines.hh
| |-- Difference_Floating_Point_Expression_templates.hh
| |-- Difference_Floating_Point_Expression_types.hh
| |-- Division_Floating_Point_Expression_defs.hh
| |-- Division_Floating_Point_Expression_inlines.hh
| |-- Division_Floating_Point_Expression_templates.hh
| |-- Division_Floating_Point_Expression_types.hh
| |-- Doubly_Linked_Object_defs.hh
| |-- Doubly_Linked_Object_inlines.hh
| |-- Doubly_Linked_Object_types.hh
| |-- EList_Iterator_defs.hh
| |-- EList_Iterator_inlines.hh
| |-- EList_Iterator_types.hh
| |-- EList_defs.hh
| |-- EList_inlines.hh
| |-- EList_types.hh
| |-- Expression_Adapter_defs.hh
| |-- Expression_Adapter_inlines.hh
| |-- Expression_Adapter_types.hh
| |-- Expression_Hide_Inhomo_defs.hh
| |-- Expression_Hide_Inhomo_inlines.hh
| |-- Expression_Hide_Inhomo_types.hh
| |-- Expression_Hide_Last_defs.hh
| |-- Expression_Hide_Last_inlines.hh
| |-- Expression_Hide_Last_types.hh
| |-- Float.cc
| |-- Float_defs.hh
| |-- Float_inlines.hh
| |-- Float_templates.hh
| |-- Floating_Point_Expression_defs.hh
| |-- Floating_Point_Expression_inlines.hh
| |-- Floating_Point_Expression_templates.hh
| |-- Floating_Point_Expression_types.hh
| |-- GMP_Integer_defs.hh
| |-- GMP_Integer_inlines.hh
| |-- GMP_Integer_types.hh
| |-- Generator.cc
| |-- Generator_System.cc
| |-- Generator_System_defs.hh
| |-- Generator_System_inlines.hh
| |-- Generator_System_types.hh
| |-- Generator_defs.hh
| |-- Generator_inlines.hh
| |-- Generator_types.hh
| |-- Grid_Certificate.cc
| |-- Grid_Certificate_defs.hh
| |-- Grid_Certificate_inlines.hh
| |-- Grid_Certificate_types.hh
| |-- Grid_Generator.cc
| |-- Grid_Generator_System.cc
| |-- Grid_Generator_System_defs.hh
| |-- Grid_Generator_System_inlines.hh
| |-- Grid_Generator_System_types.hh
| |-- Grid_Generator_defs.hh
| |-- Grid_Generator_inlines.hh
| |-- Grid_Generator_types.hh
| |-- Grid_Status.cc
| |-- Grid_Status_idefs.hh
| |-- Grid_Status_inlines.hh
| |-- Grid_chdims.cc
| |-- Grid_conversion.cc
| |-- Grid_defs.hh
| |-- Grid_inlines.hh
| |-- Grid_nonpublic.cc
| |-- Grid_public.cc
| |-- Grid_simplify.cc
| |-- Grid_templates.hh
| |-- Grid_types.hh
| |-- Grid_widenings.cc
| |-- H79_Certificate.cc
| |-- H79_Certificate_defs.hh
| |-- H79_Certificate_inlines.hh
| |-- H79_Certificate_types.hh
| |-- Handler.cc
| |-- Handler_defs.hh
| |-- Handler_inlines.hh
| |-- Handler_types.hh
| |-- Has_Assign_Or_Swap.hh
| |-- Init.cc
| |-- Init_defs.hh
| |-- Init_inlines.hh
| |-- Init_types.hh
| |-- Integer_Interval.hh
| |-- Interval_Info_defs.hh
| |-- Interval_Info_inlines.hh
| |-- Interval_Info_types.hh
| |-- Interval_defs.hh
| |-- Interval_inlines.hh
| |-- Interval_templates.hh
| |-- Interval_types.hh
| |-- Linear_Expression.cc
| |-- Linear_Expression_Impl.cc
| |-- Linear_Expression_Impl_defs.hh
| |-- Linear_Expression_Impl_inlines.hh
| |-- Linear_Expression_Impl_templates.hh
| |-- Linear_Expression_Impl_types.hh
| |-- Linear_Expression_Interface.cc
| |-- Linear_Expression_Interface_defs.hh
| |-- Linear_Expression_Interface_types.hh
| |-- Linear_Expression_defs.hh
| |-- Linear_Expression_inlines.hh
| |-- Linear_Expression_types.hh
| |-- Linear_Form.cc
| |-- Linear_Form_defs.hh
| |-- Linear_Form_inlines.hh
| |-- Linear_Form_templates.hh
| |-- Linear_Form_types.hh
| |-- Linear_System_defs.hh
| |-- Linear_System_inlines.hh
| |-- Linear_System_templates.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_defs.hh
| |-- Matrix_inlines.hh
| |-- Matrix_templates.hh
| |-- Matrix_types.hh
| |-- Multiplication_Floating_Point_Expression_defs.hh
| |-- Multiplication_Floating_Point_Expression_inlines.hh
| |-- Multiplication_Floating_Point_Expression_templates.hh
| |-- Multiplication_Floating_Point_Expression_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.cc
| |-- Og_Status_idefs.hh
| |-- Og_Status_inlines.hh
| |-- Opposite_Floating_Point_Expression_defs.hh
| |-- Opposite_Floating_Point_Expression_inlines.hh
| |-- Opposite_Floating_Point_Expression_types.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
| |-- 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
| |-- 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_chdims.cc
| |-- Polyhedron_chdims_templates.hh
| |-- Polyhedron_conversion_templates.hh
| |-- Polyhedron_defs.hh
| |-- Polyhedron_inlines.hh
| |-- Polyhedron_minimize_templates.hh
| |-- Polyhedron_nonpublic.cc
| |-- Polyhedron_public.cc
| |-- Polyhedron_simplify_templates.hh
| |-- Polyhedron_templates.hh
| |-- Polyhedron_types.hh
| |-- 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
| |-- Scalar_Products.cc
| |-- Scalar_Products_defs.hh
| |-- Scalar_Products_inlines.hh
| |-- Scalar_Products_types.hh
| |-- Slow_Copy.hh
| |-- Sparse_Row.cc
| |-- Sparse_Row_defs.hh
| |-- Sparse_Row_inlines.hh
| |-- Sparse_Row_templates.hh
| |-- Sparse_Row_types.hh
| |-- Sum_Floating_Point_Expression_defs.hh
| |-- Sum_Floating_Point_Expression_inlines.hh
| |-- Sum_Floating_Point_Expression_templates.hh
| |-- Sum_Floating_Point_Expression_types.hh
| |-- Swapping_Vector_defs.hh
| |-- Swapping_Vector_inlines.hh
| |-- Swapping_Vector_types.hh
| |-- Temp_defs.hh
| |-- Temp_inlines.hh
| |-- Temp_templates.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
| |-- Topology_types.hh
| |-- Variable.cc
| |-- Variable_Floating_Point_Expression_defs.hh
| |-- Variable_Floating_Point_Expression_inlines.hh
| |-- Variable_Floating_Point_Expression_types.hh
| |-- 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
| |-- Watchdog.cc
| |-- Watchdog_defs.hh
| |-- Watchdog_inlines.hh
| |-- Watchdog_types.hh
| |-- Weight_Profiler.cc
| |-- Weight_Profiler_defs.hh
| |-- Widening_Function_defs.hh
| |-- Widening_Function_inlines.hh
| |-- Widening_Function_types.hh
| |-- algorithms.hh
| |-- assertions.cc
| |-- assertions.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_ext_inlines.hh
| |-- checked_float_inlines.hh
| |-- checked_inlines.hh
| |-- checked_int_inlines.hh
| |-- checked_mpq_inlines.hh
| |-- checked_mpz_inlines.hh
| |-- checked_numeric_limits.hh
| |-- compiler.hh
| |-- 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
| |-- linearize.hh
| |-- math_utilities_defs.hh
| |-- math_utilities_inlines.hh
| |-- max_space_dimension.hh
| |-- meta_programming.hh
| |-- 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
| |-- set_GMP_memory_alloc_funcs.cc
| |-- stdiobuf.cc
| |-- stdiobuf_defs.hh
| |-- stdiobuf_inlines.hh
| |-- stdiobuf_types.hh
| |-- swapping_sort_templates.hh
| |-- termination.cc
| |-- termination_defs.hh
| |-- termination_templates.hh
| |-- termination_types.hh
| |-- version.cc
| |-- version.hh.in
| |-- wrap_assign.hh
| |-- wrap_string.cc
| `-- wrap_string.hh
|-- test-driver
|-- 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
| |-- CO_Tree
| | |-- Makefile.am
| | |-- Makefile.in
| | `-- cotree1.cc
| |-- Concrete_Expression
| | |-- C_Expr.cc
| | |-- C_Expr_defs.hh
| | |-- C_Expr_inlines.hh
| | |-- Makefile.am
| | |-- Makefile.in
| | |-- bdshape1.cc
| | |-- bdshape2.cc
| | |-- digitalfilters1.cc
| | |-- linearform1.cc
| | |-- linearize.cc
| | |-- octagonalshape1.cc
| | |-- octagonalshape2.cc
| | |-- polyhedron1.cc
| | |-- polyhedron2.cc
| | `-- run_tests
| |-- 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
| | `-- mipproblem4.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
| | `-- weightwatch1.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
| | |-- hypercubes.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
| | |-- nncpostimeelapse1.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
| | |-- simplifyusingcontext2.cc
| | |-- smm1.cc
| | |-- sparserow1.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
| |-- Watchdog
| | |-- Makefile.am
| | |-- Makefile.in
| | `-- watchdog1.cc
| |-- 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-2020 BUGSENG srl (http://bugseng.com)
This document describes 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 named `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 named `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://bugseng.com/products/ppl/ .