Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
See below for the copying conditions.


Parma Polyhedra Library (Release 0.9)
=====================================

This is the release 0.9 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.9 source distribution
(27 directories, 924 files):

ppl-0.9
|-- 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.sub
|   |-- configure
|   |-- configure.ac
|   |-- depcomp
|   |-- install-sh
|   |-- ltmain.sh
|   |-- missing
|   |-- mkinstalldirs
|   |-- 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
|   `-- utils
|       |-- Makefile.am
|       |-- Makefile.in
|       `-- build_header.in
|-- aclocal.m4
|-- compile
|-- config.guess
|-- config.h.in
|-- config.rpath
|-- config.sub
|-- configure
|-- configure.ac
|-- debian
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- README
|   |-- changelog
|   |-- compat
|   |-- control
|   |-- libppl-c.dirs
|   |-- libppl-c.install
|   |-- libppl-c.links
|   |-- libppl-dev.dirs
|   |-- libppl-dev.doc-base
|   |-- libppl-dev.doc-base.user
|   |-- libppl-dev.docs
|   |-- libppl-dev.install
|   |-- libppl-dev.links
|   |-- libppl-pwl.copyright.in
|   |-- libppl-pwl.dirs
|   |-- libppl-pwl.docs
|   |-- libppl-pwl.install
|   |-- libppl.copyright.in
|   |-- libppl.dirs
|   |-- libppl.docs
|   |-- libppl.install
|   `-- rules
|-- 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.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
|       |   |-- ex1.mps
|       |   |-- kb2.mps
|       |   |-- mip.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.c
|-- depcomp
|-- doc
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- README.doc
|   |-- definitions.dox
|   |-- devref.doxyconf-html
|   |-- devref.doxyconf-html.in
|   |-- devref.doxyconf-latex
|   |-- 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
|   |-- ppl-config.1
|   |-- ppl-user-0.9-html.tar.gz
|   |-- ppl-user-0.9.pdf
|   |-- ppl-user-0.9.ps.gz
|   |-- ppl.sty
|   |-- ppl_lcdd.1
|   |-- ppl_lpsol.1
|   |-- user.doxyconf-html
|   |-- user.doxyconf-html.in
|   |-- user.doxyconf-latex
|   |-- user.doxyconf-latex.in
|   `-- user.tex
|-- install-sh
|-- instchk.hh
|-- interfaces
|   |-- C
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- ppl_c.cc
|   |   |-- ppl_c.h
|   |   `-- ppl_c.h.in
|   |-- Makefile.am
|   |-- Makefile.in
|   `-- Prolog
|       |-- Ciao
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- ciao_clpq.pl
|       |   |-- ciao_clpq2.pl
|       |   |-- ciao_pl_check.pl
|       |   |-- ppl_ciao.cc
|       |   `-- ppl_ciao.pl
|       |-- GNU
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- README
|       |   |-- gnu_pl_check.pl
|       |   |-- gp_clpq.pl
|       |   |-- ppl_gprolog.pl
|       |   `-- ppl_gprolog_sd.cc
|       |-- Makefile.am
|       |-- Makefile.in
|       |-- Prolog_interface.dox
|       |-- SICStus
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- ppl_sicstus.pl
|       |   |-- ppl_sicstus_sd.cc
|       |   |-- sicstus_cfli.cc
|       |   |-- sicstus_cfli.h
|       |   |-- sicstus_cfli.ic
|       |   |-- sp_clpq.pl
|       |   `-- sp_pl_check.pl
|       |-- SWI
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- pl_clpq.cc
|       |   |-- pl_clpq.pl
|       |   |-- ppl_pl.cc
|       |   |-- ppl_swiprolog.cc
|       |   |-- ppl_swiprolog.pl
|       |   `-- swi_pl_check.pl
|       |-- XSB
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- 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
|       |   |-- ppl_xsb.H
|       |   |-- ppl_xsb.cc
|       |   |-- xsb_clpq.P
|       |   |-- xsb_clpq2.P
|       |   `-- xsb_pl_check.P
|       |-- YAP
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- ppl_yap.cc
|       |   |-- ppl_yap.pl
|       |   |-- yap_clpq.pl
|       |   |-- yap_clpq2.pl
|       |   `-- yap_pl_check.pl
|       |-- exceptions.hh
|       |-- ppl_prolog.icc
|       |-- 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
|       |   |-- fib.clpq
|       |   |-- mc91.clpq
|       |   |-- pl_check.pl
|       |   |-- schedule.clpq
|       |   |-- script_clpq
|       |   |-- script_clpq2
|       |   |-- script_clpq2_int8
|       |   |-- smm.clpq
|       |   |-- sumto.clpq
|       |   `-- tak.clpq
|       `-- track_allocation.hh
|-- ltmain.sh
|-- m4
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- 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_flexible_arrays.m4
|   |-- ac_cxx_float_binary_format.m4
|   |-- ac_cxx_long_double_binary_format.m4
|   |-- ac_text_md5sum.m4
|   |-- lib-ld.m4
|   |-- lib-link.m4
|   |-- lib-prefix.m4
|   `-- ppl.m4
|-- missing
|-- mkinstalldirs
|-- ppl.lsm.in
|-- ppl.spec.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
|   |-- Bounding_Box.cc
|   |-- Bounding_Box.defs.hh
|   |-- Bounding_Box.inlines.hh
|   |-- Bounding_Box.types.hh
|   |-- COPYING.cc.dist
|   |-- CREDITS.cc.dist
|   |-- 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.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.types.hh
|   |-- DB_Row.defs.hh
|   |-- DB_Row.inlines.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
|   |-- Init.cc
|   |-- Init.defs.hh
|   |-- Init.types.hh
|   |-- Interval.cc
|   |-- Interval.defs.hh
|   |-- Interval.inlines.hh
|   |-- Interval.types.hh
|   |-- LP_Problem.cc
|   |-- LP_Problem.defs.hh
|   |-- LP_Problem.inlines.hh
|   |-- LP_Problem.types.hh
|   |-- Limits.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
|   |-- 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
|   |-- Ph_Status.cc
|   |-- Ph_Status.idefs.hh
|   |-- Ph_Status.inlines.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
|   |-- Polyhedra_Powerset.cc
|   |-- Polyhedra_Powerset.defs.hh
|   |-- Polyhedra_Powerset.inlines.hh
|   |-- Polyhedra_Powerset.templates.hh
|   |-- Polyhedra_Powerset.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
|   |-- 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
|   |-- Saturation_Matrix.cc
|   |-- Saturation_Matrix.defs.hh
|   |-- Saturation_Matrix.inlines.hh
|   |-- Saturation_Matrix.types.hh
|   |-- Saturation_Row.cc
|   |-- Saturation_Row.defs.hh
|   |-- Saturation_Row.inlines.hh
|   |-- Saturation_Row.types.hh
|   |-- Scalar_Products.cc
|   |-- Scalar_Products.defs.hh
|   |-- Scalar_Products.inlines.hh
|   |-- Scalar_Products.types.hh
|   |-- Topology.hh
|   |-- Variable.cc
|   |-- Variable.defs.hh
|   |-- Variable.inlines.hh
|   |-- Variable.types.hh
|   |-- Widening_Function.defs.hh
|   |-- Widening_Function.inlines.hh
|   |-- Widening_Function.types.hh
|   |-- algorithms.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
|   |-- fpu-c99.inlines.hh
|   |-- 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
|   |-- max_space_dimension.hh
|   |-- minimize.cc
|   |-- mp_numeric_limits.hh
|   |-- namespaces.hh
|   |-- ppl-config.cc
|   |-- ppl-config.cc.in
|   |-- ppl.hh.dist
|   |-- ppl_header.hh
|   |-- simplify.cc
|   |-- swapping_sort.icc
|   |-- version.cc
|   `-- version.hh.in
|-- tests
|   |-- BBox.cc
|   |-- BBox.hh
|   |-- BD_Shape
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addconstraints1.cc
|   |   |-- addspacedims1.cc
|   |   |-- affinedimension1.cc
|   |   |-- affineimage1.cc
|   |   |-- affineimage2.cc
|   |   |-- affinepreimage1.cc
|   |   |-- affinepreimage2.cc
|   |   |-- ascii_dump_load1.cc
|   |   |-- bdsdifference1.cc
|   |   |-- bdshull1.cc
|   |   |-- bgp99extrapolation1.cc
|   |   |-- bhmz05widening1.cc
|   |   |-- bhz03widening1.cc
|   |   |-- cc76extrapolation1.cc
|   |   |-- cc76narrowing1.cc
|   |   |-- closure1.cc
|   |   |-- concatenate1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- empty1.cc
|   |   |-- equality1.cc
|   |   |-- fromgensys1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- geomcovers1.cc
|   |   |-- h79widening1.cc
|   |   |-- intersection1.cc
|   |   |-- limitedbhmz05extrapolation1.cc
|   |   |-- limitedcc76extrapolation1.cc
|   |   |-- limitedh79extrapolation1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- maxspacedim.cc
|   |   |-- minconstraints1.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- removespacedims1.cc
|   |   |-- run_tests
|   |   |-- timeelapse1.cc
|   |   |-- universe1.cc
|   |   `-- writebdshape1.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
|   |   |-- asciidumpload1.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundingbox1.cc
|   |   |-- boundingbox2.cc
|   |   |-- bounds1.cc
|   |   |-- certificate1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruence1.cc
|   |   |-- congruences1.cc
|   |   |-- congruencesystem1.cc
|   |   |-- contains1.cc
|   |   |-- copyconstruct1.cc
|   |   |-- coveringbox1.cc
|   |   |-- coveringbox2.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- equals1.cc
|   |   |-- expandspacedim1.cc
|   |   |-- foldspacedims1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generator1.cc
|   |   |-- generators1.cc
|   |   |-- grid1.cc
|   |   |-- grid2.cc
|   |   |-- grid3.cc
|   |   |-- griddifference1.cc
|   |   |-- intersection1.cc
|   |   |-- isempty1.cc
|   |   |-- isuniverse1.cc
|   |   |-- join1.cc
|   |   |-- join2.cc
|   |   |-- limitedextrapolation1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- maxmin1.cc
|   |   |-- membytes1.cc
|   |   |-- mincongruences1.cc
|   |   |-- mingenerators1.cc
|   |   |-- outputoperator1.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- removespacedims1.cc
|   |   |-- timeelapse1.cc
|   |   |-- topclosed1.cc
|   |   |-- topclosure1.cc
|   |   |-- widening1.cc
|   |   `-- writecongruencesystem.cc
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- Partial_Function.cc
|   |-- Partial_Function.defs.hh
|   |-- Partial_Function.inlines.hh
|   |-- Partial_Function.types.hh
|   |-- Polyhedron
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- README
|   |   |-- 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
|   |   |-- bhrz03widening1.cc
|   |   |-- bhrz03widening2.cc
|   |   |-- bhrz03widening3.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- boundedbhrz03extrapolation1.cc
|   |   |-- boundedh79extrapolation1.cc
|   |   |-- boundingbox1.cc
|   |   |-- boundingbox2.cc
|   |   |-- boundingbox3.cc
|   |   |-- bounds1.cc
|   |   |-- bug2.cc
|   |   |-- cnncconversion1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- contains2.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
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generators1.cc
|   |   |-- geomcovers1.cc
|   |   |-- h79widening1.cc
|   |   |-- h79widening2.cc
|   |   |-- intersection1.cc
|   |   |-- limitedbhrz03extrapolation1.cc
|   |   |-- limitedh79extrapolation1.cc
|   |   |-- linearpartition1.cc
|   |   |-- linearsystem1.cc
|   |   |-- linexpression1.cc
|   |   |-- lpproblem1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- matrix1.cc
|   |   |-- max_min1.cc
|   |   |-- maxspacedim1.cc
|   |   |-- mc91.cc
|   |   |-- membytes1.cc
|   |   |-- membytes2.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
|   |   |-- polypowerset1.cc
|   |   |-- powerset1.cc
|   |   |-- randphull1.cc
|   |   |-- randphull2.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- removespacedims1.cc
|   |   |-- removespacedims2.cc
|   |   |-- smm1.cc
|   |   |-- timeelapse1.cc
|   |   |-- timeelapse2.cc
|   |   |-- topclosed1.cc
|   |   |-- topclosure1.cc
|   |   |-- universe1.cc
|   |   |-- universe2.cc
|   |   |-- watchdog1.cc
|   |   |-- writeconsys1.cc
|   |   |-- writegensys1.cc
|   |   |-- writepolyhedron1.cc
|   |   |-- writepolyhedron2.cc
|   |   |-- writerelation1.cc
|   |   `-- writevariable1.cc
|   |-- 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
|   |-- print.cc
|   `-- print.hh
`-- utils
    |-- Makefile.am
    |-- Makefile.in
    |-- build_header.in
    |-- text2cxxarray.in
    |-- timings.cc
    `-- timings.hh

--------

Copyright (C) 2001-2006 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 2 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/ .
