Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
See below for the copying conditions.
Parma Polyhedra Library (Release 0.10.2)
========================================
This is the release 0.10.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.10 source distribution
(41 directories, 1446 files):
ppl-0.10.2
|-- BUGS
|-- COPYING
|-- CREDITS
|-- ChangeLog
|-- INSTALL
|-- Makefile.am
|-- Makefile.in
|-- NEWS
|-- README
|-- README.configure
|-- STANDARDS
|-- TODO
|-- Watchdog
| |-- BUGS
| |-- COPYING
| |-- CREDITS
| |-- ChangeLog
| |-- 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.5-html.tar.gz
| | |-- pwl-user-0.5.pdf
| | |-- pwl-user-0.5.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.cc
| | |-- Pending_Element.defs.hh
| | |-- Pending_Element.inlines.hh
| | |-- Pending_Element.types.hh
| | |-- Pending_List.cc
| | |-- Pending_List.defs.hh
| | |-- Pending_List.inlines.hh
| | |-- Pending_List.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
| | |-- simple1.cc
| | `-- valgrind_suppressions
| `-- 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
| |-- ppl_lpsol.1
| `-- ppl_lpsol.c
|-- 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.10.2-html.tar.gz
| |-- ppl-user-0.10.2.pdf
| |-- ppl-user-0.10.2.ps.gz
| |-- ppl-user-c-interface-0.10.2-html.tar.gz
| |-- ppl-user-c-interface-0.10.2.pdf
| |-- ppl-user-c-interface-0.10.2.ps.gz
| |-- ppl-user-java-interface-0.10.2-html.tar.gz
| |-- ppl-user-java-interface-0.10.2.pdf
| |-- ppl-user-java-interface-0.10.2.ps.gz
| |-- ppl-user-ocaml-interface-0.10.2-html.tar.gz
| |-- ppl-user-ocaml-interface-0.10.2.pdf
| |-- ppl-user-ocaml-interface-0.10.2.ps.gz
| |-- ppl-user-prolog-interface-0.10.2-html.tar.gz
| |-- ppl-user-prolog-interface-0.10.2.pdf
| |-- ppl-user-prolog-interface-0.10.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_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
| | |-- ppl_c_test.cc
| | |-- ppl_c_test.h
| | |-- print_to_buffer.c
| | `-- print_to_buffer.h
| |-- 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
| | | |-- 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
| | | |-- PPL_Object.java
| | | |-- Pair.java
| | | |-- Parma_Polyhedra_Library.java
| | | |-- Partial_Function.java
| | | |-- Poly_Con_Relation.java
| | | |-- Poly_Gen_Relation.java
| | | |-- Relation_Symbol.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
| | |-- PPL_Test.java
| | |-- Parma_Polyhedra_Library_test1.java
| | |-- Test_Executor.java
| | |-- Test_Partial_Function.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_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_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
| |-- 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
| |-- 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
| |-- Widening_Function.defs.hh
| |-- Widening_Function.inlines.hh
| |-- Widening_Function.types.hh
| |-- algorithms.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
| |-- 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
| |-- version.cc
| |-- version.hh.in
| |-- wrap.cc
| `-- wrap.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
| | |-- empty1.cc
| | |-- equality1.cc
| | |-- expandspacedim1.cc
| | |-- foldspacedims1.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
| | |-- 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
| | `-- 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
| | |-- 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
| | |-- 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
| | `-- 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
| | |-- coveringbox1.cc
| | |-- coveringbox2.cc
| | |-- discrete1.cc
| | |-- disjoint1.cc
| | |-- equals1.cc
| | |-- expandspacedim1.cc
| | |-- foldspacedims1.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
| | `-- 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
| | |-- empty1.cc
| | |-- expandspacedim1.cc
| | |-- foldspacedims1.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
| | |-- 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
| | `-- writeoctagon1.cc
| |-- Partial_Function.cc
| |-- Partial_Function.defs.hh
| |-- Partial_Function.inlines.hh
| |-- Partial_Function.types.hh
| |-- Partially_Reduced_Product
| | |-- Makefile.am
| | |-- Makefile.in
| | |-- asciidumpload1.cc
| | |-- directproduct1.cc
| | |-- directproduct2.cc
| | |-- directproduct3.cc
| | |-- directproduct4.cc
| | |-- directproduct5.cc
| | |-- directproduct6.cc
| | |-- partiallyreducedproduct1.cc
| | |-- partiallyreducedproduct2.cc
| | |-- partiallyreducedproduct3.cc
| | `-- partiallyreducedproduct4.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
| | |-- dualhypercubes.cc
| | |-- empty1.cc
| | |-- equals1.cc
| | |-- exceptions1.cc
| | |-- exceptions2.cc
| | |-- exceptions3.cc
| | |-- expandspacedim1.cc
| | |-- expandspacedim2.cc
| | |-- foldspacedims1.cc
| | |-- foldspacedims2.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
| | |-- timeelapse1.cc
| | |-- timeelapse2.cc
| | |-- topclosed1.cc
| | |-- topclosure1.cc
| | |-- unconstrain1.cc
| | |-- universe1.cc
| | |-- universe2.cc
| | |-- variablesset1.cc
| | |-- watchdog1.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-2009 Roberto Bagnara <bagnara@cs.unipr.it>
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/ .
