1Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
2Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
3See below for the copying conditions.
4
5
6Parma Polyhedra Library (Release 1.2)
7=====================================
8
9This is the release 1.2 of the Parma Polyhedra Library:
10a C++ library for (not necessarily closed) convex polyhedra
11and other numerical abstractions.
12
13To be more precise, the Parma Polyhedra Library (PPL) can handle:
14
15  + all the convex polyhedra that can be defined as the intersection
16    of a finite number of (open or closed) hyperspaces, each described
17    by an equality or a (strict or non-strict) inequality with rational
18    coefficients;
19
20  + some special classes of polyhedra shapes that offer interesting
21    complexity/precision tradeoffs: boxes, bounded difference shapes
22    and octagonal shapes defined over a wide choice of integer,
23    rational or floating point coefficients;
24
25  + all grids (or, equivalently, lattices): a grid is defined by a set
26    of congruence relations with rational coefficients and consists of
27    the set of all points that satisfy these relations;
28
29  + finite powersets and products of the above;
30
31  + linear programming problems, solved with an implementation of the
32    primal simplex algorithm using exact arithmetic;
33
34  + parametric integer programming problems;
35
36  + termination analysis problems, via the automatic synthesis of
37    linear ranking functions.
38
39The Parma Polyhedra Library is:
40
41  + user friendly:
42      you write `x + 2*y + 5*z <= 7' when you mean it;
43
44  + fully dynamic:
45      available virtual memory is the only limitation to the dimension
46      of anything;
47
48  + written in standard C++:
49      meant to be portable;
50
51  + exception-safe:
52      never leaks resources or leaves invalid object fragments around;
53
54  + rather efficient:
55      and we hope to make it even more so;
56
57  + thoroughly documented:
58      perhaps not ``literate programming'' but close enough;
59
60  + free software:
61      distributed under the terms of the GNU General Public License.
62
63See the file COPYING for licensing information.
64See the file INSTALL for generic build and installation instructions.
65See the file README.configure for more specific configuration instructions.
66See the file NEWS for recent project news.
67See the file BUGS for known bugs and how to report new ones.
68See the file CREDITS for a list of people, projects and organizations
69that made the PPL a reality.
70See http://bugseng.com/products/ppl/ for more information on the PPL.
71For any additional questions you might have, please do not hesitate to
72write to ppl-devel@cs.unipr.it.
73
74Here is the contents of the PPL 1.2 source distribution
75(41 directories, 1634 files):
76
77ppl-1.2
78|-- BUGS
79|-- COPYING
80|-- CREDITS
81|-- ChangeLog
82|-- ChangeLog_2001-2008
83|-- INSTALL
84|-- Makefile.am
85|-- Makefile.in
86|-- NEWS
87|-- README
88|-- README.alpha
89|-- README.arm
90|-- README.configure
91|-- README.solaris
92|-- STANDARDS
93|-- TODO
94|-- aclocal.m4
95|-- compile
96|-- config.guess
97|-- config.h.in
98|-- config.rpath
99|-- config.sub
100|-- configure
101|-- configure.ac
102|-- demos
103|   |-- Makefile.am
104|   |-- Makefile.in
105|   |-- ppl_lcdd
106|   |   |-- Makefile.am
107|   |   |-- Makefile.in
108|   |   |-- examples
109|   |   |   |-- 1d.ine
110|   |   |   |-- 1da.ine
111|   |   |   |-- Makefile.am
112|   |   |   |-- Makefile.in
113|   |   |   |-- README
114|   |   |   |-- allzero.ine
115|   |   |   |-- ccc4.ext
116|   |   |   |-- ccc5.ext
117|   |   |   |-- ccc6.ext
118|   |   |   |-- ccp4.ext
119|   |   |   |-- ccp5.ext
120|   |   |   |-- ccp6.ext
121|   |   |   |-- cp4.ext
122|   |   |   |-- cp4.ine
123|   |   |   |-- cp5.ext
124|   |   |   |-- cp5.ine
125|   |   |   |-- cp6.ext
126|   |   |   |-- cp6.ine
127|   |   |   |-- cp7.ext
128|   |   |   |-- cross10.ine
129|   |   |   |-- cross12.ine
130|   |   |   |-- cross4.ine
131|   |   |   |-- cross6.ine
132|   |   |   |-- cross8.ine
133|   |   |   |-- cube.ext
134|   |   |   |-- cube.ine
135|   |   |   |-- cube10.ine
136|   |   |   |-- cube12.ine
137|   |   |   |-- cube3.ine
138|   |   |   |-- cube6.ine
139|   |   |   |-- cube8.ine
140|   |   |   |-- cubetop.ine
141|   |   |   |-- cubocta.ine
142|   |   |   |-- cut16_11.ext
143|   |   |   |-- cut32_16.ext
144|   |   |   |-- cyc.ine
145|   |   |   |-- cyclic10-4.ext
146|   |   |   |-- cyclic12-6.ext
147|   |   |   |-- cyclic14-8.ext
148|   |   |   |-- cyclic16-10.ext
149|   |   |   |-- cyclic17_8.ine
150|   |   |   |-- cyclic25_13.ext
151|   |   |   |-- dcube10.ext
152|   |   |   |-- dcube12.ext
153|   |   |   |-- dcube3.ext
154|   |   |   |-- dcube6.ext
155|   |   |   |-- dcube8.ext
156|   |   |   |-- diamond.ine
157|   |   |   |-- dodeca_m.ine
158|   |   |   |-- ex1.ine
159|   |   |   |-- grcubocta.ine
160|   |   |   |-- hexocta.ine
161|   |   |   |-- icododeca_m.ine
162|   |   |   |-- in0.ine
163|   |   |   |-- in1.ine
164|   |   |   |-- in2.ine
165|   |   |   |-- in3.ine
166|   |   |   |-- in4.ine
167|   |   |   |-- in5.ine
168|   |   |   |-- in6.ine
169|   |   |   |-- in7.ine
170|   |   |   |-- infeas.ine
171|   |   |   |-- integralpoints.ine
172|   |   |   |-- irbox20-4.ext
173|   |   |   |-- irbox200-4.ext
174|   |   |   |-- kkd18_4.ine
175|   |   |   |-- kkd27_5.ine
176|   |   |   |-- kkd38_6.ine
177|   |   |   |-- kq20_11_m.ine
178|   |   |   |-- metric40_11.ine
179|   |   |   |-- metric80_16.ine
180|   |   |   |-- mit.ine
181|   |   |   |-- mit288-281.ine
182|   |   |   |-- mit31-20.ine
183|   |   |   |-- mit41-16.ine
184|   |   |   |-- mit708-9.ine
185|   |   |   |-- mit71-61.ine
186|   |   |   |-- mit90-86.ine
187|   |   |   |-- mp5.ext
188|   |   |   |-- mp5.ine
189|   |   |   |-- mp5a.ine
190|   |   |   |-- mp6.ine
191|   |   |   |-- nonfull.ine
192|   |   |   |-- origin.ine
193|   |   |   |-- prodst62.ext
194|   |   |   |-- project1_m.ine
195|   |   |   |-- project1res.ine
196|   |   |   |-- project2_m.ine
197|   |   |   |-- project2res.ine
198|   |   |   |-- rcubocta.ine
199|   |   |   |-- redcheck.ext
200|   |   |   |-- reg24-5.ext
201|   |   |   |-- reg24-5.ine
202|   |   |   |-- reg600-5_m.ext
203|   |   |   |-- rhomtria_m.ine
204|   |   |   |-- sample.ine
205|   |   |   |-- sampleh1.ine
206|   |   |   |-- sampleh2.ine
207|   |   |   |-- sampleh3.ine
208|   |   |   |-- sampleh4.ine
209|   |   |   |-- sampleh5.ine
210|   |   |   |-- sampleh6.ine
211|   |   |   |-- sampleh7.ine
212|   |   |   |-- sampleh8.ine
213|   |   |   |-- samplev1.ext
214|   |   |   |-- samplev2.ext
215|   |   |   |-- samplev3.ext
216|   |   |   |-- trunc10.ine
217|   |   |   |-- trunc7.ine
218|   |   |   |-- tsp5.ext
219|   |   |   `-- tsp5.ine
220|   |   |-- expected_int16
221|   |   |-- expected_int16_a
222|   |   |-- expected_int32
223|   |   |-- expected_int32_a
224|   |   |-- expected_int64
225|   |   |-- expected_int64_a
226|   |   |-- expected_int8
227|   |   |-- expected_int8_a
228|   |   |-- expected_mpz
229|   |   |-- expected_mpz_a
230|   |   |-- ppl_lcdd.1
231|   |   `-- ppl_lcdd.cc
232|   |-- ppl_lpsol
233|   |   |-- Makefile.am
234|   |   |-- Makefile.in
235|   |   |-- dummy.cc
236|   |   |-- examples
237|   |   |   |-- Makefile.am
238|   |   |   |-- Makefile.in
239|   |   |   |-- README
240|   |   |   |-- adlittle.mps
241|   |   |   |-- afiro.mps
242|   |   |   |-- bgprtr.mps
243|   |   |   |-- blend.mps
244|   |   |   |-- boeing1.mps
245|   |   |   |-- boeing2.mps
246|   |   |   |-- egout.mps
247|   |   |   |-- ex1.mps
248|   |   |   |-- ex12.mps
249|   |   |   |-- kb2.mps
250|   |   |   |-- lseu.mps
251|   |   |   |-- markshare1.mps
252|   |   |   |-- markshare2.mps
253|   |   |   |-- mas74.mps
254|   |   |   |-- mas76.mps
255|   |   |   |-- mip.mps
256|   |   |   |-- modglob.mps
257|   |   |   |-- noswot.mps
258|   |   |   |-- opt1217.mps
259|   |   |   |-- p0033.mps
260|   |   |   |-- pk1.mps
261|   |   |   |-- rout.mps
262|   |   |   |-- sample.mps
263|   |   |   |-- sc105.mps
264|   |   |   |-- sc50a.mps
265|   |   |   |-- sc50b.mps
266|   |   |   |-- ship08l.mps
267|   |   |   `-- unboundedmin.mps
268|   |   |-- expected_int16
269|   |   |-- expected_int16_a
270|   |   |-- expected_int32
271|   |   |-- expected_int32_a
272|   |   |-- expected_int64
273|   |   |-- expected_int64_a
274|   |   |-- expected_int8
275|   |   |-- expected_int8_a
276|   |   |-- expected_mpz
277|   |   |-- expected_mpz_a
278|   |   |-- glpk_set_d_eps.c
279|   |   |-- ppl_lpsol.1
280|   |   `-- ppl_lpsol.c
281|   `-- ppl_pips
282|       |-- Makefile.am
283|       |-- Makefile.in
284|       |-- examples
285|       |   |-- Makefile.am
286|       |   |-- Makefile.in
287|       |   |-- README
288|       |   |-- big.pip
289|       |   |-- brisebarre.pip
290|       |   |-- cg1.pip
291|       |   |-- esced.pip
292|       |   |-- ex2.pip
293|       |   |-- fimmel.pip
294|       |   |-- invert.dat
295|       |   |-- linear.dat
296|       |   |-- lineri.dat
297|       |   |-- loz.dat
298|       |   |-- max.dat
299|       |   |-- max.pip
300|       |   |-- maxb.dat
301|       |   |-- pairi.dat
302|       |   |-- petit.dat
303|       |   |-- rairoi.dat
304|       |   |-- sor1d.pip
305|       |   |-- square.pip
306|       |   |-- test02.dat
307|       |   `-- test12i.dat
308|       |-- expected_int16
309|       |-- expected_int16_a
310|       |-- expected_int32
311|       |-- expected_int32_a
312|       |-- expected_int64
313|       |-- expected_int64_a
314|       |-- expected_int8
315|       |-- expected_int8_a
316|       |-- expected_mpz
317|       |-- expected_mpz_a
318|       |-- ppl_pips.1
319|       `-- ppl_pips.cc
320|-- depcomp
321|-- doc
322|   |-- Makefile.am
323|   |-- Makefile.in
324|   |-- README.doc
325|   |-- bugseng_logo.pdf
326|   |-- definitions.dox
327|   |-- devref-language-interface.doxyconf.in
328|   |-- devref-language-interface.tex
329|   |-- devref.doxyconf-html.in
330|   |-- devref.doxyconf-latex.in
331|   |-- devref.tex
332|   |-- fdl.dox
333|   |-- fdl.pdf
334|   |-- fdl.ps.gz
335|   |-- fdl.tex
336|   |-- fdl.txt
337|   |-- gpl.dox
338|   |-- gpl.pdf
339|   |-- gpl.ps.gz
340|   |-- gpl.tex
341|   |-- gpl.txt
342|   |-- interfaces-html.sed
343|   |-- interfaces-latex.sed
344|   |-- libppl.3
345|   |-- libppl_c.3
346|   |-- ppl-config.1
347|   |-- ppl-user-1.2-html.tar.gz
348|   |-- ppl-user-1.2.pdf
349|   |-- ppl-user-1.2.ps.gz
350|   |-- ppl-user-c-interface-1.2-html.tar.gz
351|   |-- ppl-user-c-interface-1.2.pdf
352|   |-- ppl-user-c-interface-1.2.ps.gz
353|   |-- ppl-user-java-interface-1.2-html.tar.gz
354|   |-- ppl-user-java-interface-1.2.pdf
355|   |-- ppl-user-java-interface-1.2.ps.gz
356|   |-- ppl-user-prolog-interface-1.2-html.tar.gz
357|   |-- ppl-user-prolog-interface-1.2.pdf
358|   |-- ppl-user-prolog-interface-1.2.ps.gz
359|   |-- ppl.bib
360|   |-- ppl.sty
361|   |-- ppl_citations.bib
362|   |-- ppl_logo.pdf
363|   |-- ppl_logo_no_ppl.pdf
364|   |-- user-language-interface.doxyconf.in
365|   |-- user-language-interface.tex
366|   |-- user.doxyconf-html.in
367|   |-- user.doxyconf-latex.in
368|   `-- user.tex
369|-- install-sh
370|-- instchk.hh
371|-- interfaces
372|   |-- C
373|   |   |-- C_interface.dox
374|   |   |-- Makefile.am
375|   |   |-- Makefile.in
376|   |   |-- ppl_c.h.dist
377|   |   |-- ppl_c_header.h
378|   |   |-- ppl_c_implementation_common.cc
379|   |   |-- ppl_c_implementation_common_defs.hh
380|   |   |-- ppl_c_implementation_common_inlines.hh
381|   |   |-- ppl_c_version.h.in
382|   |   |-- ppl_interface_generator_c_cc_code.m4
383|   |   |-- ppl_interface_generator_c_cc_files.m4
384|   |   |-- ppl_interface_generator_c_h.m4
385|   |   |-- ppl_interface_generator_c_h_code.m4
386|   |   |-- ppl_interface_generator_c_hh_files.m4
387|   |   |-- ppl_interface_generator_c_procedure_generators.m4
388|   |   `-- tests
389|   |       |-- Makefile.am
390|   |       |-- Makefile.in
391|   |       |-- formatted_output.c
392|   |       |-- pip_test.c
393|   |       |-- ppl_c_test.cc
394|   |       |-- ppl_c_test.h
395|   |       |-- print_to_buffer.c
396|   |       |-- print_to_buffer.h
397|   |       |-- watchdog1.c
398|   |       `-- weightwatch1.c
399|   |-- Java
400|   |   |-- Makefile.am
401|   |   |-- Makefile.in
402|   |   |-- README.java
403|   |   |-- jni
404|   |   |   |-- Makefile.am
405|   |   |   |-- Makefile.in
406|   |   |   |-- ppl_interface_generator_java_classes_cc_code.m4
407|   |   |   |-- ppl_interface_generator_java_classes_cc_files.m4
408|   |   |   |-- ppl_java_common.cc
409|   |   |   |-- ppl_java_common_defs.hh
410|   |   |   |-- ppl_java_common_inlines.hh
411|   |   |   `-- ppl_java_globals.cc
412|   |   |-- parma_polyhedra_library
413|   |   |   |-- Artificial_Parameter.java
414|   |   |   |-- Artificial_Parameter_Sequence.java
415|   |   |   |-- Bounded_Integer_Type_Overflow.java
416|   |   |   |-- Bounded_Integer_Type_Representation.java
417|   |   |   |-- Bounded_Integer_Type_Width.java
418|   |   |   |-- By_Reference.java
419|   |   |   |-- Coefficient.java
420|   |   |   |-- Complexity_Class.java
421|   |   |   |-- Congruence.java
422|   |   |   |-- Congruence_System.java
423|   |   |   |-- Constraint.java
424|   |   |   |-- Constraint_System.java
425|   |   |   |-- Control_Parameter_Name.java
426|   |   |   |-- Control_Parameter_Value.java
427|   |   |   |-- Degenerate_Element.java
428|   |   |   |-- Domain_Error_Exception.java
429|   |   |   |-- Fake_Class_for_Doxygen.java
430|   |   |   |-- Generator.java
431|   |   |   |-- Generator_System.java
432|   |   |   |-- Generator_Type.java
433|   |   |   |-- Grid_Generator.java
434|   |   |   |-- Grid_Generator_System.java
435|   |   |   |-- Grid_Generator_Type.java
436|   |   |   |-- IO.java
437|   |   |   |-- Invalid_Argument_Exception.java
438|   |   |   |-- Length_Error_Exception.java
439|   |   |   |-- Linear_Expression.java
440|   |   |   |-- Linear_Expression_Coefficient.java
441|   |   |   |-- Linear_Expression_Difference.java
442|   |   |   |-- Linear_Expression_Sum.java
443|   |   |   |-- Linear_Expression_Times.java
444|   |   |   |-- Linear_Expression_Unary_Minus.java
445|   |   |   |-- Linear_Expression_Variable.java
446|   |   |   |-- Logic_Error_Exception.java
447|   |   |   |-- MIP_Problem.java
448|   |   |   |-- MIP_Problem_Status.java
449|   |   |   |-- Makefile.am
450|   |   |   |-- Makefile.in
451|   |   |   |-- Optimization_Mode.java
452|   |   |   |-- Overflow_Error_Exception.java
453|   |   |   |-- PIP_Decision_Node.java
454|   |   |   |-- PIP_Problem.java
455|   |   |   |-- PIP_Problem_Control_Parameter_Name.java
456|   |   |   |-- PIP_Problem_Control_Parameter_Value.java
457|   |   |   |-- PIP_Problem_Status.java
458|   |   |   |-- PIP_Solution_Node.java
459|   |   |   |-- PIP_Tree_Node.java
460|   |   |   |-- PPL_Object.java
461|   |   |   |-- Pair.java
462|   |   |   |-- Parma_Polyhedra_Library.java
463|   |   |   |-- Partial_Function.java
464|   |   |   |-- Poly_Con_Relation.java
465|   |   |   |-- Poly_Gen_Relation.java
466|   |   |   |-- Relation_Symbol.java
467|   |   |   |-- Timeout_Exception.java
468|   |   |   |-- Variable.java
469|   |   |   |-- Variable_Stringifier.java
470|   |   |   |-- Variables_Set.java
471|   |   |   |-- ppl_interface_generator_java_classes_java.m4
472|   |   |   `-- ppl_interface_generator_java_classes_java_code.m4
473|   |   |-- ppl_interface_generator_java_procedure_generators.m4
474|   |   `-- tests
475|   |       |-- C_Polyhedron_test1.java
476|   |       |-- Custom_Variable_Stringifier.java
477|   |       |-- MIP_Problem_test1.java
478|   |       |-- Makefile.am
479|   |       |-- Makefile.in
480|   |       |-- NNC_Polyhedron_test1.java
481|   |       |-- PIP_Problem_test1.java
482|   |       |-- PPL_Test.java
483|   |       |-- Parma_Polyhedra_Library_test1.java
484|   |       |-- Parma_Polyhedra_Library_test2.java
485|   |       |-- Test_Executor.java
486|   |       |-- Variable_Output_test1.java
487|   |       |-- ppl_interface_generator_java_test_java.m4
488|   |       |-- ppl_interface_generator_java_test_java_code.m4
489|   |       `-- ppl_java_tests_common
490|   |-- Makefile.am
491|   |-- Makefile.in
492|   |-- OCaml
493|   |   |-- Makefile.am
494|   |   |-- Makefile.in
495|   |   |-- OCaml_interface.dox
496|   |   |-- README.ocaml
497|   |   |-- ppl_interface_generator_ocaml_cc_code.m4
498|   |   |-- ppl_interface_generator_ocaml_cc_files.m4
499|   |   |-- ppl_interface_generator_ocaml_hh_code.m4
500|   |   |-- ppl_interface_generator_ocaml_hh_files.m4
501|   |   |-- ppl_interface_generator_ocaml_ml.m4
502|   |   |-- ppl_interface_generator_ocaml_ml_code.m4
503|   |   |-- ppl_interface_generator_ocaml_mli.m4
504|   |   |-- ppl_interface_generator_ocaml_mli_code.m4
505|   |   |-- ppl_interface_generator_ocaml_procedure_generators.m4
506|   |   |-- ppl_ocaml_common.cc
507|   |   |-- ppl_ocaml_common_defs.hh
508|   |   |-- ppl_ocaml_common_inlines.hh
509|   |   |-- ppl_ocaml_globals.ml
510|   |   |-- ppl_ocaml_globals.mli
511|   |   `-- tests
512|   |       |-- Makefile.am
513|   |       |-- Makefile.in
514|   |       |-- ppl_interface_generator_ocaml_test_ml.m4
515|   |       |-- ppl_interface_generator_ocaml_test_ml_code.m4
516|   |       |-- ppl_ocaml_tests_common
517|   |       `-- test1.ml
518|   |-- Prolog
519|   |   |-- Ciao
520|   |   |   |-- Makefile.am
521|   |   |   |-- Makefile.in
522|   |   |   |-- README.ciao
523|   |   |   |-- ciao_cfli.hh
524|   |   |   |-- ciao_clpq.pl
525|   |   |   |-- ciao_clpq2.pl
526|   |   |   |-- ciao_efli.cc
527|   |   |   |-- ciao_efli.hh
528|   |   |   |-- ciao_pl_check.pl
529|   |   |   |-- ppl_interface_generator_ciao_pl.m4
530|   |   |   |-- ppl_interface_generator_ciao_prolog_generated_test_pl.m4
531|   |   |   `-- ppl_prolog_sysdep.hh
532|   |   |-- GNU
533|   |   |   |-- Makefile.am
534|   |   |   |-- Makefile.in
535|   |   |   |-- README.gprolog
536|   |   |   |-- gnu_pl_check.pl
537|   |   |   |-- gnu_prolog_generated_test.pl
538|   |   |   |-- gp_clpq.pl
539|   |   |   |-- gprolog_cfli.hh
540|   |   |   |-- gprolog_efli.cc
541|   |   |   |-- gprolog_efli.hh
542|   |   |   |-- ppl_interface_generator_gprolog_pl.m4
543|   |   |   `-- ppl_prolog_sysdep.hh
544|   |   |-- Makefile.am
545|   |   |-- Makefile.in
546|   |   |-- Prolog_configured_interface.dox
547|   |   |-- Prolog_interface.dox
548|   |   |-- Prolog_interface_compilation.dox
549|   |   |-- Prolog_interface_sysdep.dox
550|   |   |-- Prolog_interface_sysindep.dox
551|   |   |-- Prolog_interface_sysindep_domains.dox
552|   |   |-- SICStus
553|   |   |   |-- Makefile.am
554|   |   |   |-- Makefile.in
555|   |   |   |-- ppl_interface_generator_sicstus_sd_cc.m4
556|   |   |   |-- ppl_prolog_sysdep.hh
557|   |   |   |-- ppl_sicstus.pl
558|   |   |   |-- sicstus_cfli.cc
559|   |   |   |-- sicstus_cfli.h
560|   |   |   |-- sicstus_cfli.ic
561|   |   |   |-- sicstus_efli.cc
562|   |   |   |-- sicstus_efli.hh
563|   |   |   |-- sp_clpq.pl
564|   |   |   |-- sp_pl_check.pl
565|   |   |   `-- sp_prolog_generated_test.pl
566|   |   |-- SWI
567|   |   |   |-- Makefile.am
568|   |   |   |-- Makefile.in
569|   |   |   |-- README.swiprolog
570|   |   |   |-- pl_clpq.cc
571|   |   |   |-- pl_clpq.pl
572|   |   |   |-- ppl_interface_generator_swiprolog_cc.m4
573|   |   |   |-- ppl_pl.cc
574|   |   |   |-- ppl_prolog_sysdep.hh
575|   |   |   |-- ppl_swiprolog.hh
576|   |   |   |-- ppl_swiprolog.pl
577|   |   |   |-- swi_cfli.hh
578|   |   |   |-- swi_efli.cc
579|   |   |   |-- swi_efli.hh
580|   |   |   |-- swi_pl_check.pl
581|   |   |   `-- swi_prolog_generated_test.pl
582|   |   |-- XSB
583|   |   |   |-- Makefile.am
584|   |   |   |-- Makefile.in
585|   |   |   |-- ppl_interface_generator_xsb_H.m4
586|   |   |   |-- ppl_interface_generator_xsb_cc.m4
587|   |   |   |-- ppl_interface_generator_xsb_hh.m4
588|   |   |   |-- ppl_interface_generator_xsb_prolog_generated_test_P.m4
589|   |   |   |-- ppl_prolog_sysdep.hh
590|   |   |   |-- xsb_cfli.hh
591|   |   |   |-- xsb_clpq.P
592|   |   |   |-- xsb_clpq2.P
593|   |   |   |-- xsb_efli.cc
594|   |   |   |-- xsb_efli.hh
595|   |   |   `-- xsb_pl_check.P
596|   |   |-- YAP
597|   |   |   |-- Makefile.am
598|   |   |   |-- Makefile.in
599|   |   |   |-- README.yap
600|   |   |   |-- ppl_interface_generator_yap_cc.m4
601|   |   |   |-- ppl_prolog_sysdep.hh
602|   |   |   |-- ppl_yap.pl
603|   |   |   |-- yap_cfli.hh
604|   |   |   |-- yap_clpq.pl
605|   |   |   |-- yap_clpq2.pl
606|   |   |   |-- yap_efli.cc
607|   |   |   |-- yap_efli.hh
608|   |   |   |-- yap_pl_check.pl
609|   |   |   `-- yap_prolog_generated_test.pl
610|   |   |-- ppl_interface_generator_prolog_cc_code.m4
611|   |   |-- ppl_interface_generator_prolog_cc_files.m4
612|   |   |-- ppl_interface_generator_prolog_dox.m4
613|   |   |-- ppl_interface_generator_prolog_dox_code.m4
614|   |   |-- ppl_interface_generator_prolog_hh_code.m4
615|   |   |-- ppl_interface_generator_prolog_hh_files.m4
616|   |   |-- ppl_interface_generator_prolog_procedure_generators.m4
617|   |   |-- ppl_interface_generator_prolog_systems.m4
618|   |   |-- ppl_prolog_common.cc
619|   |   |-- ppl_prolog_common_defs.hh
620|   |   |-- ppl_prolog_common_inlines.hh
621|   |   `-- tests
622|   |       |-- Makefile.am
623|   |       |-- Makefile.in
624|   |       |-- ack.clpq
625|   |       |-- ackn.clpq
626|   |       |-- clpq.pl
627|   |       |-- clpq2.pl
628|   |       |-- expected_clpq2_int16
629|   |       |-- expected_clpq2_int16_a
630|   |       |-- expected_clpq2_int32
631|   |       |-- expected_clpq2_int32_a
632|   |       |-- expected_clpq2_int64
633|   |       |-- expected_clpq2_int64_a
634|   |       |-- expected_clpq2_int8
635|   |       |-- expected_clpq2_int8_a
636|   |       |-- expected_clpq2_mpz
637|   |       |-- expected_clpq2_mpz_a
638|   |       |-- expected_clpq_int16
639|   |       |-- expected_clpq_int16_a
640|   |       |-- expected_clpq_int32
641|   |       |-- expected_clpq_int32_a
642|   |       |-- expected_clpq_int64
643|   |       |-- expected_clpq_int64_a
644|   |       |-- expected_clpq_int8
645|   |       |-- expected_clpq_int8_a
646|   |       |-- expected_clpq_mpz
647|   |       |-- expected_clpq_mpz_a
648|   |       |-- expected_pchk_int16
649|   |       |-- expected_pchk_int16_a
650|   |       |-- expected_pchk_int32
651|   |       |-- expected_pchk_int32_a
652|   |       |-- expected_pchk_int64
653|   |       |-- expected_pchk_int64_a
654|   |       |-- expected_pchk_int8
655|   |       |-- expected_pchk_int8_a
656|   |       |-- expected_pchk_mpz
657|   |       |-- expected_pchk_mpz_a
658|   |       |-- expected_pgt
659|   |       |-- fib.clpq
660|   |       |-- mc91.clpq
661|   |       |-- pl_check.pl
662|   |       |-- ppl_interface_generator_prolog_generated_test_pl.m4
663|   |       |-- ppl_interface_generator_prolog_generated_test_pl_code.m4
664|   |       |-- ppl_prolog_generated_test_common.pl
665|   |       |-- schedule.clpq
666|   |       |-- script_clpq
667|   |       |-- script_clpq2
668|   |       |-- script_clpq2_int8
669|   |       |-- smm.clpq
670|   |       |-- sumto.clpq
671|   |       `-- tak.clpq
672|   |-- interfaced_boxes.hh
673|   |-- marked_pointers.hh
674|   |-- ppl_interface_generator_common.m4
675|   |-- ppl_interface_generator_common_dat.m4
676|   |-- ppl_interface_generator_common_procedure_generators.m4
677|   `-- ppl_interface_generator_copyright
678|-- ltmain.sh
679|-- m4
680|   |-- Makefile.am
681|   |-- Makefile.in
682|   |-- ac_check_ciao.m4
683|   |-- ac_check_classpath.m4
684|   |-- ac_check_cxx11.m4
685|   |-- ac_check_fpu_control.m4
686|   |-- ac_check_gmp.m4
687|   |-- ac_check_sicstus_prolog.m4
688|   |-- ac_check_swi_prolog.m4
689|   |-- ac_check_xsb_prolog.m4
690|   |-- ac_check_yap.m4
691|   |-- ac_cxx_attribute_weak.m4
692|   |-- ac_cxx_double_binary_format.m4
693|   |-- ac_cxx_float_binary_format.m4
694|   |-- ac_cxx_ieee_inexact_flag.m4
695|   |-- ac_cxx_limit_memory.m4
696|   |-- ac_cxx_long_double_binary_format.m4
697|   |-- ac_cxx_plain_char_is_signed.m4
698|   |-- ac_cxx_proper_long_double.m4
699|   |-- ac_cxx_zero_length_arrays.m4
700|   |-- ac_prog_jar.m4
701|   |-- ac_prog_java.m4
702|   |-- ac_prog_javac.m4
703|   |-- ac_prog_javah.m4
704|   |-- ac_text_md5sum.m4
705|   |-- ac_use_libtool.m4
706|   |-- libtool.m4
707|   |-- ltoptions.m4
708|   |-- ltsugar.m4
709|   |-- ltversion.m4
710|   |-- lt~obsolete.m4
711|   |-- m4.m4
712|   |-- ocaml.m4
713|   |-- ppl.m4
714|   `-- ppl_c.m4
715|-- missing
716|-- mkinstalldirs
717|-- ppl-config.h.in
718|-- ppl-config.sed
719|-- ppl.lsm.in
720|-- src
721|   |-- BDS_Status.cc
722|   |-- BDS_Status_idefs.hh
723|   |-- BDS_Status_inlines.hh
724|   |-- BD_Shape.cc
725|   |-- BD_Shape_defs.hh
726|   |-- BD_Shape_inlines.hh
727|   |-- BD_Shape_templates.hh
728|   |-- BD_Shape_types.hh
729|   |-- BHRZ03_Certificate.cc
730|   |-- BHRZ03_Certificate_defs.hh
731|   |-- BHRZ03_Certificate_inlines.hh
732|   |-- BHRZ03_Certificate_types.hh
733|   |-- BUGS.cc.dist
734|   |-- BUGS.hh.dist
735|   |-- Bit_Matrix.cc
736|   |-- Bit_Matrix_defs.hh
737|   |-- Bit_Matrix_inlines.hh
738|   |-- Bit_Matrix_types.hh
739|   |-- Bit_Row.cc
740|   |-- Bit_Row_defs.hh
741|   |-- Bit_Row_inlines.hh
742|   |-- Bit_Row_types.hh
743|   |-- Boundary_defs.hh
744|   |-- Box.cc
745|   |-- Box_Status.cc
746|   |-- Box_Status_idefs.hh
747|   |-- Box_Status_inlines.hh
748|   |-- Box_defs.hh
749|   |-- Box_inlines.hh
750|   |-- Box_templates.hh
751|   |-- Box_types.hh
752|   |-- COPYING.cc.dist
753|   |-- COPYING.hh.dist
754|   |-- CO_Tree.cc
755|   |-- CO_Tree_defs.hh
756|   |-- CO_Tree_inlines.hh
757|   |-- CO_Tree_templates.hh
758|   |-- CO_Tree_types.hh
759|   |-- CREDITS.cc.dist
760|   |-- CREDITS.hh.dist
761|   |-- C_Integer.hh
762|   |-- C_Polyhedron.cc
763|   |-- C_Polyhedron_defs.hh
764|   |-- C_Polyhedron_inlines.hh
765|   |-- C_Polyhedron_types.hh
766|   |-- Cast_Floating_Point_Expression_defs.hh
767|   |-- Cast_Floating_Point_Expression_inlines.hh
768|   |-- Cast_Floating_Point_Expression_templates.hh
769|   |-- Cast_Floating_Point_Expression_types.hh
770|   |-- Checked_Number.cc
771|   |-- Checked_Number_defs.hh
772|   |-- Checked_Number_inlines.hh
773|   |-- Checked_Number_templates.hh
774|   |-- Checked_Number_types.hh
775|   |-- Coefficient.cc
776|   |-- Coefficient_defs.hh
777|   |-- Coefficient_inlines.hh
778|   |-- Coefficient_traits_template.hh
779|   |-- Coefficient_types.hh
780|   |-- Concrete_Expression.cc
781|   |-- Concrete_Expression_defs.hh
782|   |-- Concrete_Expression_inlines.hh
783|   |-- Concrete_Expression_types.hh
784|   |-- Congruence.cc
785|   |-- Congruence_System.cc
786|   |-- Congruence_System_defs.hh
787|   |-- Congruence_System_inlines.hh
788|   |-- Congruence_System_types.hh
789|   |-- Congruence_defs.hh
790|   |-- Congruence_inlines.hh
791|   |-- Congruence_types.hh
792|   |-- Constant_Floating_Point_Expression_defs.hh
793|   |-- Constant_Floating_Point_Expression_inlines.hh
794|   |-- Constant_Floating_Point_Expression_types.hh
795|   |-- Constraint.cc
796|   |-- Constraint_System.cc
797|   |-- Constraint_System_defs.hh
798|   |-- Constraint_System_inlines.hh
799|   |-- Constraint_System_types.hh
800|   |-- Constraint_defs.hh
801|   |-- Constraint_inlines.hh
802|   |-- Constraint_types.hh
803|   |-- DB_Matrix_defs.hh
804|   |-- DB_Matrix_inlines.hh
805|   |-- DB_Matrix_templates.hh
806|   |-- DB_Matrix_types.hh
807|   |-- DB_Row_defs.hh
808|   |-- DB_Row_inlines.hh
809|   |-- DB_Row_templates.hh
810|   |-- DB_Row_types.hh
811|   |-- Dense_Row.cc
812|   |-- Dense_Row_defs.hh
813|   |-- Dense_Row_inlines.hh
814|   |-- Dense_Row_templates.hh
815|   |-- Dense_Row_types.hh
816|   |-- Determinate_defs.hh
817|   |-- Determinate_inlines.hh
818|   |-- Determinate_types.hh
819|   |-- Difference_Floating_Point_Expression_defs.hh
820|   |-- Difference_Floating_Point_Expression_inlines.hh
821|   |-- Difference_Floating_Point_Expression_templates.hh
822|   |-- Difference_Floating_Point_Expression_types.hh
823|   |-- Division_Floating_Point_Expression_defs.hh
824|   |-- Division_Floating_Point_Expression_inlines.hh
825|   |-- Division_Floating_Point_Expression_templates.hh
826|   |-- Division_Floating_Point_Expression_types.hh
827|   |-- Doubly_Linked_Object_defs.hh
828|   |-- Doubly_Linked_Object_inlines.hh
829|   |-- Doubly_Linked_Object_types.hh
830|   |-- EList_Iterator_defs.hh
831|   |-- EList_Iterator_inlines.hh
832|   |-- EList_Iterator_types.hh
833|   |-- EList_defs.hh
834|   |-- EList_inlines.hh
835|   |-- EList_types.hh
836|   |-- Expression_Adapter_defs.hh
837|   |-- Expression_Adapter_inlines.hh
838|   |-- Expression_Adapter_types.hh
839|   |-- Expression_Hide_Inhomo_defs.hh
840|   |-- Expression_Hide_Inhomo_inlines.hh
841|   |-- Expression_Hide_Inhomo_types.hh
842|   |-- Expression_Hide_Last_defs.hh
843|   |-- Expression_Hide_Last_inlines.hh
844|   |-- Expression_Hide_Last_types.hh
845|   |-- Float.cc
846|   |-- Float_defs.hh
847|   |-- Float_inlines.hh
848|   |-- Float_templates.hh
849|   |-- Floating_Point_Expression_defs.hh
850|   |-- Floating_Point_Expression_inlines.hh
851|   |-- Floating_Point_Expression_templates.hh
852|   |-- Floating_Point_Expression_types.hh
853|   |-- GMP_Integer_defs.hh
854|   |-- GMP_Integer_inlines.hh
855|   |-- GMP_Integer_types.hh
856|   |-- Generator.cc
857|   |-- Generator_System.cc
858|   |-- Generator_System_defs.hh
859|   |-- Generator_System_inlines.hh
860|   |-- Generator_System_types.hh
861|   |-- Generator_defs.hh
862|   |-- Generator_inlines.hh
863|   |-- Generator_types.hh
864|   |-- Grid_Certificate.cc
865|   |-- Grid_Certificate_defs.hh
866|   |-- Grid_Certificate_inlines.hh
867|   |-- Grid_Certificate_types.hh
868|   |-- Grid_Generator.cc
869|   |-- Grid_Generator_System.cc
870|   |-- Grid_Generator_System_defs.hh
871|   |-- Grid_Generator_System_inlines.hh
872|   |-- Grid_Generator_System_types.hh
873|   |-- Grid_Generator_defs.hh
874|   |-- Grid_Generator_inlines.hh
875|   |-- Grid_Generator_types.hh
876|   |-- Grid_Status.cc
877|   |-- Grid_Status_idefs.hh
878|   |-- Grid_Status_inlines.hh
879|   |-- Grid_chdims.cc
880|   |-- Grid_conversion.cc
881|   |-- Grid_defs.hh
882|   |-- Grid_inlines.hh
883|   |-- Grid_nonpublic.cc
884|   |-- Grid_public.cc
885|   |-- Grid_simplify.cc
886|   |-- Grid_templates.hh
887|   |-- Grid_types.hh
888|   |-- Grid_widenings.cc
889|   |-- H79_Certificate.cc
890|   |-- H79_Certificate_defs.hh
891|   |-- H79_Certificate_inlines.hh
892|   |-- H79_Certificate_types.hh
893|   |-- Handler.cc
894|   |-- Handler_defs.hh
895|   |-- Handler_inlines.hh
896|   |-- Handler_types.hh
897|   |-- Has_Assign_Or_Swap.hh
898|   |-- Init.cc
899|   |-- Init_defs.hh
900|   |-- Init_inlines.hh
901|   |-- Init_types.hh
902|   |-- Integer_Interval.hh
903|   |-- Interval_Info_defs.hh
904|   |-- Interval_Info_inlines.hh
905|   |-- Interval_Info_types.hh
906|   |-- Interval_defs.hh
907|   |-- Interval_inlines.hh
908|   |-- Interval_templates.hh
909|   |-- Interval_types.hh
910|   |-- Linear_Expression.cc
911|   |-- Linear_Expression_Impl.cc
912|   |-- Linear_Expression_Impl_defs.hh
913|   |-- Linear_Expression_Impl_inlines.hh
914|   |-- Linear_Expression_Impl_templates.hh
915|   |-- Linear_Expression_Impl_types.hh
916|   |-- Linear_Expression_Interface.cc
917|   |-- Linear_Expression_Interface_defs.hh
918|   |-- Linear_Expression_Interface_types.hh
919|   |-- Linear_Expression_defs.hh
920|   |-- Linear_Expression_inlines.hh
921|   |-- Linear_Expression_types.hh
922|   |-- Linear_Form.cc
923|   |-- Linear_Form_defs.hh
924|   |-- Linear_Form_inlines.hh
925|   |-- Linear_Form_templates.hh
926|   |-- Linear_Form_types.hh
927|   |-- Linear_System_defs.hh
928|   |-- Linear_System_inlines.hh
929|   |-- Linear_System_templates.hh
930|   |-- Linear_System_types.hh
931|   |-- MIP_Problem.cc
932|   |-- MIP_Problem_defs.hh
933|   |-- MIP_Problem_inlines.hh
934|   |-- MIP_Problem_templates.hh
935|   |-- MIP_Problem_types.hh
936|   |-- Makefile.am
937|   |-- Makefile.in
938|   |-- Matrix_defs.hh
939|   |-- Matrix_inlines.hh
940|   |-- Matrix_templates.hh
941|   |-- Matrix_types.hh
942|   |-- Multiplication_Floating_Point_Expression_defs.hh
943|   |-- Multiplication_Floating_Point_Expression_inlines.hh
944|   |-- Multiplication_Floating_Point_Expression_templates.hh
945|   |-- Multiplication_Floating_Point_Expression_types.hh
946|   |-- NNC_Polyhedron.cc
947|   |-- NNC_Polyhedron_defs.hh
948|   |-- NNC_Polyhedron_inlines.hh
949|   |-- NNC_Polyhedron_types.hh
950|   |-- Numeric_Format_defs.hh
951|   |-- OR_Matrix_defs.hh
952|   |-- OR_Matrix_inlines.hh
953|   |-- OR_Matrix_templates.hh
954|   |-- OR_Matrix_types.hh
955|   |-- Octagonal_Shape.cc
956|   |-- Octagonal_Shape_defs.hh
957|   |-- Octagonal_Shape_inlines.hh
958|   |-- Octagonal_Shape_templates.hh
959|   |-- Octagonal_Shape_types.hh
960|   |-- Og_Status.cc
961|   |-- Og_Status_idefs.hh
962|   |-- Og_Status_inlines.hh
963|   |-- Opposite_Floating_Point_Expression_defs.hh
964|   |-- Opposite_Floating_Point_Expression_inlines.hh
965|   |-- Opposite_Floating_Point_Expression_types.hh
966|   |-- PIP_Problem.cc
967|   |-- PIP_Problem_defs.hh
968|   |-- PIP_Problem_inlines.hh
969|   |-- PIP_Problem_templates.hh
970|   |-- PIP_Problem_types.hh
971|   |-- PIP_Tree.cc
972|   |-- PIP_Tree_defs.hh
973|   |-- PIP_Tree_inlines.hh
974|   |-- PIP_Tree_types.hh
975|   |-- Partial_Function.cc
976|   |-- Partial_Function_defs.hh
977|   |-- Partial_Function_inlines.hh
978|   |-- Partial_Function_types.hh
979|   |-- Partially_Reduced_Product_defs.hh
980|   |-- Partially_Reduced_Product_inlines.hh
981|   |-- Partially_Reduced_Product_templates.hh
982|   |-- Partially_Reduced_Product_types.hh
983|   |-- Pending_Element_defs.hh
984|   |-- Pending_Element_inlines.hh
985|   |-- Pending_Element_types.hh
986|   |-- Pending_List_defs.hh
987|   |-- Pending_List_inlines.hh
988|   |-- Pending_List_templates.hh
989|   |-- Pending_List_types.hh
990|   |-- Ph_Status.cc
991|   |-- Ph_Status_idefs.hh
992|   |-- Ph_Status_inlines.hh
993|   |-- Pointset_Powerset.cc
994|   |-- Pointset_Powerset_defs.hh
995|   |-- Pointset_Powerset_inlines.hh
996|   |-- Pointset_Powerset_templates.hh
997|   |-- Pointset_Powerset_types.hh
998|   |-- Poly_Con_Relation.cc
999|   |-- Poly_Con_Relation_defs.hh
1000|   |-- Poly_Con_Relation_inlines.hh
1001|   |-- Poly_Con_Relation_types.hh
1002|   |-- Poly_Gen_Relation.cc
1003|   |-- Poly_Gen_Relation_defs.hh
1004|   |-- Poly_Gen_Relation_inlines.hh
1005|   |-- Poly_Gen_Relation_types.hh
1006|   |-- Polyhedron_chdims.cc
1007|   |-- Polyhedron_chdims_templates.hh
1008|   |-- Polyhedron_conversion_templates.hh
1009|   |-- Polyhedron_defs.hh
1010|   |-- Polyhedron_inlines.hh
1011|   |-- Polyhedron_minimize_templates.hh
1012|   |-- Polyhedron_nonpublic.cc
1013|   |-- Polyhedron_public.cc
1014|   |-- Polyhedron_simplify_templates.hh
1015|   |-- Polyhedron_templates.hh
1016|   |-- Polyhedron_types.hh
1017|   |-- Polyhedron_widenings.cc
1018|   |-- Powerset_defs.hh
1019|   |-- Powerset_inlines.hh
1020|   |-- Powerset_templates.hh
1021|   |-- Powerset_types.hh
1022|   |-- Ptr_Iterator_defs.hh
1023|   |-- Ptr_Iterator_inlines.hh
1024|   |-- Ptr_Iterator_types.hh
1025|   |-- Rational_Box.hh
1026|   |-- Rational_Interval.hh
1027|   |-- Result_defs.hh
1028|   |-- Result_inlines.hh
1029|   |-- Rounding_Dir_defs.hh
1030|   |-- Rounding_Dir_inlines.hh
1031|   |-- Scalar_Products.cc
1032|   |-- Scalar_Products_defs.hh
1033|   |-- Scalar_Products_inlines.hh
1034|   |-- Scalar_Products_types.hh
1035|   |-- Slow_Copy.hh
1036|   |-- Sparse_Row.cc
1037|   |-- Sparse_Row_defs.hh
1038|   |-- Sparse_Row_inlines.hh
1039|   |-- Sparse_Row_templates.hh
1040|   |-- Sparse_Row_types.hh
1041|   |-- Sum_Floating_Point_Expression_defs.hh
1042|   |-- Sum_Floating_Point_Expression_inlines.hh
1043|   |-- Sum_Floating_Point_Expression_templates.hh
1044|   |-- Sum_Floating_Point_Expression_types.hh
1045|   |-- Swapping_Vector_defs.hh
1046|   |-- Swapping_Vector_inlines.hh
1047|   |-- Swapping_Vector_types.hh
1048|   |-- Temp_defs.hh
1049|   |-- Temp_inlines.hh
1050|   |-- Temp_templates.hh
1051|   |-- Threshold_Watcher.cc
1052|   |-- Threshold_Watcher_defs.hh
1053|   |-- Threshold_Watcher_inlines.hh
1054|   |-- Threshold_Watcher_templates.hh
1055|   |-- Threshold_Watcher_types.hh
1056|   |-- Time.cc
1057|   |-- Time_defs.hh
1058|   |-- Time_inlines.hh
1059|   |-- Time_types.hh
1060|   |-- Topology_types.hh
1061|   |-- Variable.cc
1062|   |-- Variable_Floating_Point_Expression_defs.hh
1063|   |-- Variable_Floating_Point_Expression_inlines.hh
1064|   |-- Variable_Floating_Point_Expression_types.hh
1065|   |-- Variable_defs.hh
1066|   |-- Variable_inlines.hh
1067|   |-- Variable_types.hh
1068|   |-- Variables_Set.cc
1069|   |-- Variables_Set_defs.hh
1070|   |-- Variables_Set_inlines.hh
1071|   |-- Variables_Set_types.hh
1072|   |-- WRD_coefficient_types_defs.hh
1073|   |-- WRD_coefficient_types_inlines.hh
1074|   |-- Watchdog.cc
1075|   |-- Watchdog_defs.hh
1076|   |-- Watchdog_inlines.hh
1077|   |-- Watchdog_types.hh
1078|   |-- Weight_Profiler.cc
1079|   |-- Weight_Profiler_defs.hh
1080|   |-- Widening_Function_defs.hh
1081|   |-- Widening_Function_inlines.hh
1082|   |-- Widening_Function_types.hh
1083|   |-- algorithms.hh
1084|   |-- assertions.cc
1085|   |-- assertions.hh
1086|   |-- assign_or_swap.hh
1087|   |-- c_streambuf.cc
1088|   |-- c_streambuf_defs.hh
1089|   |-- c_streambuf_inlines.hh
1090|   |-- c_streambuf_types.hh
1091|   |-- checked.cc
1092|   |-- checked_defs.hh
1093|   |-- checked_ext_inlines.hh
1094|   |-- checked_float_inlines.hh
1095|   |-- checked_inlines.hh
1096|   |-- checked_int_inlines.hh
1097|   |-- checked_mpq_inlines.hh
1098|   |-- checked_mpz_inlines.hh
1099|   |-- checked_numeric_limits.hh
1100|   |-- compiler.hh
1101|   |-- distances_defs.hh
1102|   |-- distances_inlines.hh
1103|   |-- distances_types.hh
1104|   |-- fpu-c99_inlines.hh
1105|   |-- fpu-ia32.cc
1106|   |-- fpu-ia32_inlines.hh
1107|   |-- fpu-none_inlines.hh
1108|   |-- fpu-sparc_inlines.hh
1109|   |-- fpu_defs.hh
1110|   |-- fpu_types.hh
1111|   |-- globals.cc
1112|   |-- globals_defs.hh
1113|   |-- globals_inlines.hh
1114|   |-- globals_types.hh
1115|   |-- initializer.hh
1116|   |-- intervals_defs.hh
1117|   |-- iterator_to_const_defs.hh
1118|   |-- iterator_to_const_inlines.hh
1119|   |-- iterator_to_const_types.hh
1120|   |-- linearize.hh
1121|   |-- math_utilities_defs.hh
1122|   |-- math_utilities_inlines.hh
1123|   |-- max_space_dimension.hh
1124|   |-- meta_programming.hh
1125|   |-- mp_std_bits.cc
1126|   |-- mp_std_bits_defs.hh
1127|   |-- mp_std_bits_inlines.hh
1128|   |-- namespaces.hh
1129|   |-- ppl-config.cc.in
1130|   |-- ppl.hh.dist
1131|   |-- ppl_header.hh
1132|   |-- set_GMP_memory_alloc_funcs.cc
1133|   |-- stdiobuf.cc
1134|   |-- stdiobuf_defs.hh
1135|   |-- stdiobuf_inlines.hh
1136|   |-- stdiobuf_types.hh
1137|   |-- swapping_sort_templates.hh
1138|   |-- termination.cc
1139|   |-- termination_defs.hh
1140|   |-- termination_templates.hh
1141|   |-- termination_types.hh
1142|   |-- version.cc
1143|   |-- version.hh.in
1144|   |-- wrap_assign.hh
1145|   |-- wrap_string.cc
1146|   `-- wrap_string.hh
1147|-- test-driver
1148|-- tests
1149|   |-- BD_Shape
1150|   |   |-- Makefile.am
1151|   |   |-- Makefile.in
1152|   |   |-- addconstraints1.cc
1153|   |   |-- addspacedims1.cc
1154|   |   |-- affinedimension1.cc
1155|   |   |-- affineimage1.cc
1156|   |   |-- affineimage2.cc
1157|   |   |-- affinepreimage1.cc
1158|   |   |-- ascii_dump_load1.cc
1159|   |   |-- bgp99extrapolation1.cc
1160|   |   |-- bhmz05widening1.cc
1161|   |   |-- bhz03widening1.cc
1162|   |   |-- bounded1.cc
1163|   |   |-- boundedaffineimage1.cc
1164|   |   |-- boundedaffinepreimage1.cc
1165|   |   |-- bounds1.cc
1166|   |   |-- cc76extrapolation1.cc
1167|   |   |-- cc76narrowing1.cc
1168|   |   |-- closure1.cc
1169|   |   |-- concatenate1.cc
1170|   |   |-- congruences1.cc
1171|   |   |-- constrains1.cc
1172|   |   |-- constraints1.cc
1173|   |   |-- contains1.cc
1174|   |   |-- containsintegerpoint1.cc
1175|   |   |-- difference1.cc
1176|   |   |-- discrete1.cc
1177|   |   |-- disjoint1.cc
1178|   |   |-- dropsomenonintegerpoints1.cc
1179|   |   |-- empty1.cc
1180|   |   |-- equality1.cc
1181|   |   |-- expandspacedim1.cc
1182|   |   |-- foldspacedims1.cc
1183|   |   |-- frequency1.cc
1184|   |   |-- frombdshape1.cc
1185|   |   |-- frombox1.cc
1186|   |   |-- fromgensys1.cc
1187|   |   |-- fromgrid1.cc
1188|   |   |-- fromoctagonalshape1.cc
1189|   |   |-- frompolyhedron1.cc
1190|   |   |-- fromspacedim1.cc
1191|   |   |-- generalizedaffineimage1.cc
1192|   |   |-- generalizedaffineimage2.cc
1193|   |   |-- generalizedaffinepreimage1.cc
1194|   |   |-- generalizedaffinepreimage2.cc
1195|   |   |-- generalizedaffinepreimage3.cc
1196|   |   |-- geomcovers1.cc
1197|   |   |-- h79widening1.cc
1198|   |   |-- integerupperboundifexact1.cc
1199|   |   |-- intersection1.cc
1200|   |   |-- limitedbhmz05extrapolation1.cc
1201|   |   |-- limitedcc76extrapolation1.cc
1202|   |   |-- limitedh79extrapolation1.cc
1203|   |   |-- mapspacedims1.cc
1204|   |   |-- max_min1.cc
1205|   |   |-- max_min2.cc
1206|   |   |-- maxspacedim1.cc
1207|   |   |-- membytes1.cc
1208|   |   |-- minconstraints1.cc
1209|   |   |-- relations1.cc
1210|   |   |-- relations2.cc
1211|   |   |-- relations3.cc
1212|   |   |-- relations4.cc
1213|   |   |-- removespacedims1.cc
1214|   |   |-- run_tests
1215|   |   |-- simplifyusingcontext1.cc
1216|   |   |-- timeelapse1.cc
1217|   |   |-- unconstrain1.cc
1218|   |   |-- universe1.cc
1219|   |   |-- upperbound1.cc
1220|   |   |-- upperboundifexact1.cc
1221|   |   |-- wrap1.cc
1222|   |   `-- writebdshape1.cc
1223|   |-- Box
1224|   |   |-- Makefile.am
1225|   |   |-- Makefile.in
1226|   |   |-- addconstraints1.cc
1227|   |   |-- addspacedims1.cc
1228|   |   |-- affinedimension1.cc
1229|   |   |-- affineimage1.cc
1230|   |   |-- affinepreimage1.cc
1231|   |   |-- ascii_dump_load1.cc
1232|   |   |-- bgp99extrapolation1.cc
1233|   |   |-- bhz03widening1.cc
1234|   |   |-- bounded1.cc
1235|   |   |-- boundedaffineimage1.cc
1236|   |   |-- boundedaffinepreimage1.cc
1237|   |   |-- cc76narrowing1.cc
1238|   |   |-- cc76widening.cc
1239|   |   |-- concatenate1.cc
1240|   |   |-- congruences1.cc
1241|   |   |-- constrains1.cc
1242|   |   |-- constraints1.cc
1243|   |   |-- contains1.cc
1244|   |   |-- containsintegerpoint1.cc
1245|   |   |-- difference1.cc
1246|   |   |-- discrete1.cc
1247|   |   |-- disjoint1.cc
1248|   |   |-- empty1.cc
1249|   |   |-- equality1.cc
1250|   |   |-- expandspacedim1.cc
1251|   |   |-- foldspacedims1.cc
1252|   |   |-- frequency1.cc
1253|   |   |-- frombdshape1.cc
1254|   |   |-- frombox1.cc
1255|   |   |-- fromgensys1.cc
1256|   |   |-- fromgrid1.cc
1257|   |   |-- frompartiallyreducedproduct1.cc
1258|   |   |-- frompolyhedron1.cc
1259|   |   |-- frompolyhedron2.cc
1260|   |   |-- fromspacedim1.cc
1261|   |   |-- generalizedaffineimage1.cc
1262|   |   |-- generalizedaffineimage2.cc
1263|   |   |-- generalizedaffinepreimage1.cc
1264|   |   |-- geomcovers1.cc
1265|   |   |-- intersection1.cc
1266|   |   |-- interval1.cc
1267|   |   |-- limitedcc76extrapolation1.cc
1268|   |   |-- mapspacedims1.cc
1269|   |   |-- max_min1.cc
1270|   |   |-- maxspacedim1.cc
1271|   |   |-- membytes1.cc
1272|   |   |-- minconstraints1.cc
1273|   |   |-- propagateconstraints1.cc
1274|   |   |-- propagateconstraints2.cc
1275|   |   |-- refinewithcongruence1.cc
1276|   |   |-- refinewithcongruences1.cc
1277|   |   |-- refinewithconstraint1.cc
1278|   |   |-- refinewithconstraint2.cc
1279|   |   |-- refinewithconstraints1.cc
1280|   |   |-- refinewithconstraints2.cc
1281|   |   |-- relations1.cc
1282|   |   |-- relations2.cc
1283|   |   |-- relations3.cc
1284|   |   |-- relations4.cc
1285|   |   |-- removespacedims1.cc
1286|   |   |-- run_tests
1287|   |   |-- simplifyusingcontext1.cc
1288|   |   |-- timeelapse1.cc
1289|   |   |-- topclosed1.cc
1290|   |   |-- unconstrain1.cc
1291|   |   |-- universe1.cc
1292|   |   |-- upperbound1.cc
1293|   |   |-- upperboundifexact1.cc
1294|   |   |-- wrap1.cc
1295|   |   `-- writebox1.cc
1296|   |-- CO_Tree
1297|   |   |-- Makefile.am
1298|   |   |-- Makefile.in
1299|   |   `-- cotree1.cc
1300|   |-- Concrete_Expression
1301|   |   |-- C_Expr.cc
1302|   |   |-- C_Expr_defs.hh
1303|   |   |-- C_Expr_inlines.hh
1304|   |   |-- Makefile.am
1305|   |   |-- Makefile.in
1306|   |   |-- bdshape1.cc
1307|   |   |-- bdshape2.cc
1308|   |   |-- digitalfilters1.cc
1309|   |   |-- linearform1.cc
1310|   |   |-- linearize.cc
1311|   |   |-- octagonalshape1.cc
1312|   |   |-- octagonalshape2.cc
1313|   |   |-- polyhedron1.cc
1314|   |   |-- polyhedron2.cc
1315|   |   `-- run_tests
1316|   |-- Grid
1317|   |   |-- Makefile.am
1318|   |   |-- Makefile.in
1319|   |   |-- addcongruence1.cc
1320|   |   |-- addcongruences1.cc
1321|   |   |-- addconstraint1.cc
1322|   |   |-- addconstraints1.cc
1323|   |   |-- addgenerator1.cc
1324|   |   |-- addgenerators1.cc
1325|   |   |-- addspacedims1.cc
1326|   |   |-- affinedim1.cc
1327|   |   |-- affineimage1.cc
1328|   |   |-- affineimage2.cc
1329|   |   |-- affinepreimage1.cc
1330|   |   |-- affinepreimage2.cc
1331|   |   |-- approximatepartition1.cc
1332|   |   |-- asciidumpload1.cc
1333|   |   |-- asciidumpload2.cc
1334|   |   |-- asciidumpload3.cc
1335|   |   |-- asciidumpload4.cc
1336|   |   |-- asciidumpload5.cc
1337|   |   |-- asciidumpload6.cc
1338|   |   |-- bhz03widening1.cc
1339|   |   |-- bounded1.cc
1340|   |   |-- boundedaffineimage1.cc
1341|   |   |-- boundedaffinepreimage1.cc
1342|   |   |-- bounds1.cc
1343|   |   |-- certificate1.cc
1344|   |   |-- concatenate1.cc
1345|   |   |-- congruence1.cc
1346|   |   |-- congruences1.cc
1347|   |   |-- congruences2.cc
1348|   |   |-- constraints1.cc
1349|   |   |-- contains1.cc
1350|   |   |-- containsintegerpoint1.cc
1351|   |   |-- discrete1.cc
1352|   |   |-- disjoint1.cc
1353|   |   |-- dropnonintegerpoints1.cc
1354|   |   |-- equals1.cc
1355|   |   |-- expandspacedim1.cc
1356|   |   |-- foldspacedims1.cc
1357|   |   |-- frequency1.cc
1358|   |   |-- frombdshape1.cc
1359|   |   |-- frombox1.cc
1360|   |   |-- fromgrid1.cc
1361|   |   |-- fromoctagonalshape1.cc
1362|   |   |-- frompolyhedron1.cc
1363|   |   |-- generalizedaffineimage1.cc
1364|   |   |-- generalizedaffineimage2.cc
1365|   |   |-- generalizedaffineimage3.cc
1366|   |   |-- generalizedaffinepreimage1.cc
1367|   |   |-- generalizedaffinepreimage2.cc
1368|   |   |-- generalizedaffinepreimage3.cc
1369|   |   |-- generator1.cc
1370|   |   |-- generators1.cc
1371|   |   |-- generators2.cc
1372|   |   |-- grid1.cc
1373|   |   |-- grid2.cc
1374|   |   |-- grid3.cc
1375|   |   |-- griddifference1.cc
1376|   |   |-- intersection1.cc
1377|   |   |-- isempty1.cc
1378|   |   |-- isuniverse1.cc
1379|   |   |-- limitedextrapolation1.cc
1380|   |   |-- limitedextrapolation2.cc
1381|   |   |-- limitedextrapolation3.cc
1382|   |   |-- mapspacedims1.cc
1383|   |   |-- maxmin1.cc
1384|   |   |-- membytes1.cc
1385|   |   |-- mincongruences1.cc
1386|   |   |-- mingenerators1.cc
1387|   |   |-- outputoperator1.cc
1388|   |   |-- outputoperator2.cc
1389|   |   |-- outputoperator3.cc
1390|   |   |-- partition1.cc
1391|   |   |-- powersetdifference1.cc
1392|   |   |-- powersetgeometricallycovers1.cc
1393|   |   |-- powersetgeometricallyequals1.cc
1394|   |   |-- refinewithcongruences1.cc
1395|   |   |-- refinewithconstraints1.cc
1396|   |   |-- relations1.cc
1397|   |   |-- relations2.cc
1398|   |   |-- relations3.cc
1399|   |   |-- removespacedims1.cc
1400|   |   |-- removespacedims2.cc
1401|   |   |-- simplifyusingcontext1.cc
1402|   |   |-- timeelapse1.cc
1403|   |   |-- topclosed1.cc
1404|   |   |-- topclosure1.cc
1405|   |   |-- unconstrain1.cc
1406|   |   |-- upperbound1.cc
1407|   |   |-- upperbound2.cc
1408|   |   |-- widening1.cc
1409|   |   |-- widening2.cc
1410|   |   |-- widening3.cc
1411|   |   |-- wrap1.cc
1412|   |   `-- writecongruencesystem.cc
1413|   |-- MIP_Problem
1414|   |   |-- Makefile.am
1415|   |   |-- Makefile.in
1416|   |   |-- ascii_dump_load1.cc
1417|   |   |-- exceptions1.cc
1418|   |   |-- mipproblem1.cc
1419|   |   |-- mipproblem2.cc
1420|   |   |-- mipproblem3.cc
1421|   |   `-- mipproblem4.cc
1422|   |-- Makefile.am
1423|   |-- Makefile.in
1424|   |-- Octagonal_Shape
1425|   |   |-- Makefile.am
1426|   |   |-- Makefile.in
1427|   |   |-- addspacedims1.cc
1428|   |   |-- affinedimension1.cc
1429|   |   |-- affineimage1.cc
1430|   |   |-- affineimage2.cc
1431|   |   |-- affinepreimage1.cc
1432|   |   |-- affinepreimage2.cc
1433|   |   |-- ascii_dump_load1.cc
1434|   |   |-- bhmz05widening1.cc
1435|   |   |-- bhz03widening1.cc
1436|   |   |-- bounded1.cc
1437|   |   |-- boundedaffineimage1.cc
1438|   |   |-- boundedaffinepreimage1.cc
1439|   |   |-- bounds1.cc
1440|   |   |-- cc76extrapolation1.cc
1441|   |   |-- cc76narrowing1.cc
1442|   |   |-- chinainit.cc
1443|   |   |-- concatenate1.cc
1444|   |   |-- congruences1.cc
1445|   |   |-- constrains1.cc
1446|   |   |-- constraints1.cc
1447|   |   |-- contains1.cc
1448|   |   |-- containsintegerpoint1.cc
1449|   |   |-- difference1.cc
1450|   |   |-- discrete1.cc
1451|   |   |-- disjoint1.cc
1452|   |   |-- dropsomenonintegerpoints1.cc
1453|   |   |-- empty1.cc
1454|   |   |-- expandspacedim1.cc
1455|   |   |-- foldspacedims1.cc
1456|   |   |-- frequency1.cc
1457|   |   |-- frombdshape1.cc
1458|   |   |-- frombox1.cc
1459|   |   |-- fromgensys1.cc
1460|   |   |-- fromgrid1.cc
1461|   |   |-- fromoctagonalshape1.cc
1462|   |   |-- frompolyhedron1.cc
1463|   |   |-- fromspacedim1.cc
1464|   |   |-- generalizedaffineimage1.cc
1465|   |   |-- generalizedaffineimage2.cc
1466|   |   |-- generalizedaffineimage3.cc
1467|   |   |-- generalizedaffineimage4.cc
1468|   |   |-- generalizedaffineimage5.cc
1469|   |   |-- generalizedaffinepreimage1.cc
1470|   |   |-- generalizedaffinepreimage2.cc
1471|   |   |-- generalizedaffinepreimage3.cc
1472|   |   |-- generalizedaffinepreimage4.cc
1473|   |   |-- integerupperboundifexact1.cc
1474|   |   |-- intersection1.cc
1475|   |   |-- limitedbhmz05extrapolation1.cc
1476|   |   |-- limitedcc76extrapolation1.cc
1477|   |   |-- mapspacedims1.cc
1478|   |   |-- max_min1.cc
1479|   |   |-- max_min2.cc
1480|   |   |-- maxspacedim1.cc
1481|   |   |-- membytes1.cc
1482|   |   |-- minconstraints1.cc
1483|   |   |-- relatwithcons1.cc
1484|   |   |-- relatwithcons2.cc
1485|   |   |-- relatwithcons3.cc
1486|   |   |-- relatwithgen1.cc
1487|   |   |-- removespacedims1.cc
1488|   |   |-- run_tests
1489|   |   |-- simplifyusingcontext1.cc
1490|   |   |-- timeelapse1.cc
1491|   |   |-- unconstrain1.cc
1492|   |   |-- universe1.cc
1493|   |   |-- upperbound1.cc
1494|   |   |-- upperboundifexact1.cc
1495|   |   |-- wrap1.cc
1496|   |   `-- writeoctagon1.cc
1497|   |-- PIP_Problem
1498|   |   |-- Makefile.am
1499|   |   |-- Makefile.in
1500|   |   |-- ascii_dump_load1.cc
1501|   |   |-- exceptions1.cc
1502|   |   |-- pipproblem1.cc
1503|   |   |-- pipproblem2.cc
1504|   |   |-- pipproblem3.cc
1505|   |   `-- weightwatch1.cc
1506|   |-- Partially_Reduced_Product
1507|   |   |-- Makefile.am
1508|   |   |-- Makefile.in
1509|   |   |-- addcongruences1.cc
1510|   |   |-- affineimage1.cc
1511|   |   |-- asciidumpload1.cc
1512|   |   |-- bounded1.cc
1513|   |   |-- boundedaffineimage1.cc
1514|   |   |-- bounds1.cc
1515|   |   |-- concatenate1.cc
1516|   |   |-- congruences1.cc
1517|   |   |-- congruencesproduct1.cc
1518|   |   |-- constraints1.cc
1519|   |   |-- constraintsproduct1.cc
1520|   |   |-- contains1.cc
1521|   |   |-- difference1.cc
1522|   |   |-- dimension1.cc
1523|   |   |-- directproduct1.cc
1524|   |   |-- discrete1.cc
1525|   |   |-- disjoint1.cc
1526|   |   |-- dropsomenonintegerpoints1.cc
1527|   |   |-- equals1.cc
1528|   |   |-- frombdshape1.cc
1529|   |   |-- frombox1.cc
1530|   |   |-- fromgrid1.cc
1531|   |   |-- fromoctagonalshape1.cc
1532|   |   |-- frompolyhedron1.cc
1533|   |   |-- fromproduct1.cc
1534|   |   |-- generalizedaffineimage1.cc
1535|   |   |-- intersection1.cc
1536|   |   |-- isempty1.cc
1537|   |   |-- isuniverse1.cc
1538|   |   |-- maxmin1.cc
1539|   |   |-- partially_reduced_product_test.hh
1540|   |   |-- refinewithcongruences1.cc
1541|   |   |-- refinewithconstraints1.cc
1542|   |   |-- relations1.cc
1543|   |   |-- shapepreservingproduct1.cc
1544|   |   |-- smashproduct1.cc
1545|   |   |-- spacedims1.cc
1546|   |   |-- timeelapse1.cc
1547|   |   |-- topclosed1.cc
1548|   |   |-- topclosure1.cc
1549|   |   `-- upperbound1.cc
1550|   |-- Polyhedron
1551|   |   |-- Makefile.am
1552|   |   |-- Makefile.in
1553|   |   |-- addcongruence1.cc
1554|   |   |-- addcongruences1.cc
1555|   |   |-- addconstraint1.cc
1556|   |   |-- addconstraints1.cc
1557|   |   |-- addconstraints2.cc
1558|   |   |-- addgenerator1.cc
1559|   |   |-- addgenerator2.cc
1560|   |   |-- addgenerators1.cc
1561|   |   |-- addgenerators2.cc
1562|   |   |-- addspacedims1.cc
1563|   |   |-- addspacedims2.cc
1564|   |   |-- affineimage1.cc
1565|   |   |-- affineimage2.cc
1566|   |   |-- affinepreimage1.cc
1567|   |   |-- affinetrans.cc
1568|   |   |-- append1.cc
1569|   |   |-- append2.cc
1570|   |   |-- ascii_dump_load1.cc
1571|   |   |-- ascii_dump_load2.cc
1572|   |   |-- ascii_dump_load3.cc
1573|   |   |-- bgp99extrapolation1.cc
1574|   |   |-- bgp99extrapolation2.cc
1575|   |   |-- bhrz03widening1.cc
1576|   |   |-- bhrz03widening2.cc
1577|   |   |-- bhrz03widening3.cc
1578|   |   |-- bhz03widening1.cc
1579|   |   |-- bounded1.cc
1580|   |   |-- boundedaffineimage1.cc
1581|   |   |-- boundedaffinepreimage1.cc
1582|   |   |-- boundedbhrz03extrapolation1.cc
1583|   |   |-- boundedh79extrapolation1.cc
1584|   |   |-- bounds1.cc
1585|   |   |-- cnncconversion1.cc
1586|   |   |-- concatenate1.cc
1587|   |   |-- congruences1.cc
1588|   |   |-- constrains1.cc
1589|   |   |-- constraints1.cc
1590|   |   |-- contains1.cc
1591|   |   |-- contains2.cc
1592|   |   |-- containsintegerpoint1.cc
1593|   |   |-- disjoint1.cc
1594|   |   |-- disjoint2.cc
1595|   |   |-- dropsomenonintegerpoints1.cc
1596|   |   |-- dropsomenonintegerpoints2.cc
1597|   |   |-- dualhypercubes.cc
1598|   |   |-- empty1.cc
1599|   |   |-- equals1.cc
1600|   |   |-- exceptions1.cc
1601|   |   |-- exceptions2.cc
1602|   |   |-- exceptions3.cc
1603|   |   |-- expandspacedim1.cc
1604|   |   |-- expandspacedim2.cc
1605|   |   |-- foldspacedims1.cc
1606|   |   |-- foldspacedims2.cc
1607|   |   |-- frequency1.cc
1608|   |   |-- frombdshape1.cc
1609|   |   |-- frombox1.cc
1610|   |   |-- frombox2.cc
1611|   |   |-- fromgrid1.cc
1612|   |   |-- fromoctagonalshape1.cc
1613|   |   |-- generalizedaffineimage1.cc
1614|   |   |-- generalizedaffineimage2.cc
1615|   |   |-- generalizedaffinepreimage1.cc
1616|   |   |-- generalizedaffinepreimage2.cc
1617|   |   |-- generators1.cc
1618|   |   |-- geomcovers1.cc
1619|   |   |-- h79widening1.cc
1620|   |   |-- h79widening2.cc
1621|   |   |-- hybrid.cc
1622|   |   |-- hypercubes.cc
1623|   |   |-- intersection1.cc
1624|   |   |-- limitedbhrz03extrapolation1.cc
1625|   |   |-- limitedh79extrapolation1.cc
1626|   |   |-- linearexpression1.cc
1627|   |   |-- linearpartition1.cc
1628|   |   |-- linearsystem1.cc
1629|   |   |-- mapspacedims1.cc
1630|   |   |-- matrix1.cc
1631|   |   |-- max_min1.cc
1632|   |   |-- maxspacedim1.cc
1633|   |   |-- mc91.cc
1634|   |   |-- membytes1.cc
1635|   |   |-- memory1.cc
1636|   |   |-- memory2.cc
1637|   |   |-- minconstraints1.cc
1638|   |   |-- minconstraints2.cc
1639|   |   |-- mingenerators1.cc
1640|   |   |-- mingenerators2.cc
1641|   |   |-- nncminimize1.cc
1642|   |   |-- nncminimize2.cc
1643|   |   |-- nncpostimeelapse1.cc
1644|   |   |-- numberinput1.cc
1645|   |   |-- onepoint.cc
1646|   |   |-- permute.cc
1647|   |   |-- polydifference1.cc
1648|   |   |-- polydifference2.cc
1649|   |   |-- polyhull1.cc
1650|   |   |-- polyhull2.cc
1651|   |   |-- polyhullifexact1.cc
1652|   |   |-- polyhullifexact2.cc
1653|   |   |-- randphull1.cc
1654|   |   |-- refinewithcongruence1.cc
1655|   |   |-- refinewithcongruences1.cc
1656|   |   |-- refinewithconstraint1.cc
1657|   |   |-- refinewithconstraints1.cc
1658|   |   |-- relations1.cc
1659|   |   |-- relations2.cc
1660|   |   |-- relations3.cc
1661|   |   |-- removespacedims1.cc
1662|   |   |-- removespacedims2.cc
1663|   |   |-- simplifyusingcontext1.cc
1664|   |   |-- simplifyusingcontext2.cc
1665|   |   |-- smm1.cc
1666|   |   |-- sparserow1.cc
1667|   |   |-- termination1.cc
1668|   |   |-- termination2.cc
1669|   |   |-- timeelapse1.cc
1670|   |   |-- timeelapse2.cc
1671|   |   |-- topclosed1.cc
1672|   |   |-- topclosure1.cc
1673|   |   |-- unconstrain1.cc
1674|   |   |-- universe1.cc
1675|   |   |-- universe2.cc
1676|   |   |-- variablesset1.cc
1677|   |   |-- watchdog1.cc
1678|   |   |-- weightwatch1.cc
1679|   |   |-- wrap1.cc
1680|   |   |-- wrap2.cc
1681|   |   |-- writeconsys1.cc
1682|   |   |-- writegensys1.cc
1683|   |   |-- writepolyhedron1.cc
1684|   |   |-- writepolyhedron2.cc
1685|   |   |-- writerelation1.cc
1686|   |   `-- writevariable1.cc
1687|   |-- Powerset
1688|   |   |-- Makefile.am
1689|   |   |-- Makefile.in
1690|   |   |-- addcongruences1.cc
1691|   |   |-- addconstraints1.cc
1692|   |   |-- affinedimension1.cc
1693|   |   |-- affineimage1.cc
1694|   |   |-- affinepreimage1.cc
1695|   |   |-- bounded1.cc
1696|   |   |-- bounds1.cc
1697|   |   |-- closed1.cc
1698|   |   |-- closure1.cc
1699|   |   |-- collapse1.cc
1700|   |   |-- concatenate1.cc
1701|   |   |-- contains1.cc
1702|   |   |-- containsintegerpoint1.cc
1703|   |   |-- difference1.cc
1704|   |   |-- discrete1.cc
1705|   |   |-- disjoint1.cc
1706|   |   |-- disjunct1.cc
1707|   |   |-- empty1.cc
1708|   |   |-- entails1.cc
1709|   |   |-- equals1.cc
1710|   |   |-- frombdshape1.cc
1711|   |   |-- frombox1.cc
1712|   |   |-- fromcongruences1.cc
1713|   |   |-- fromconstraints1.cc
1714|   |   |-- fromgrid1.cc
1715|   |   |-- fromoctagonalshape1.cc
1716|   |   |-- frompolyhedron1.cc
1717|   |   |-- fromspacedimension1.cc
1718|   |   |-- intersection1.cc
1719|   |   |-- maxmin1.cc
1720|   |   |-- meet1.cc
1721|   |   |-- membytes1.cc
1722|   |   |-- powerset1.cc
1723|   |   |-- reduce1.cc
1724|   |   |-- refinewith1.cc
1725|   |   |-- relationwith1.cc
1726|   |   |-- simplifyusingcontext1.cc
1727|   |   |-- size1.cc
1728|   |   |-- spacedims1.cc
1729|   |   |-- universe1.cc
1730|   |   `-- upperbound1.cc
1731|   |-- README
1732|   |-- Random_Number_Generator_defs.hh
1733|   |-- Random_Number_Generator_inlines.hh
1734|   |-- Random_Number_Generator_types.hh
1735|   |-- Watchdog
1736|   |   |-- Makefile.am
1737|   |   |-- Makefile.in
1738|   |   `-- watchdog1.cc
1739|   |-- files.cc
1740|   |-- files.hh
1741|   |-- ppl_test.cc
1742|   |-- ppl_test.hh
1743|   `-- valgrind_suppressions
1744`-- utils
1745    |-- Makefile.am
1746    |-- Makefile.in
1747    |-- build_header.in
1748    |-- cm_cleaner.sh
1749    |-- cm_splitter.sh
1750    |-- text2cxxarray.in
1751    |-- timings.cc
1752    `-- timings.hh
1753
1754
1755--------
1756
1757Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
1758Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
1759
1760This document describes the Parma Polyhedra Library (PPL).
1761
1762Permission is granted to copy, distribute and/or modify this document
1763under the terms of the GNU Free Documentation License, Version 1.2
1764or any later version published by the Free Software Foundation;
1765with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
1766The license is included, in various formats, in the `doc' subdirectory
1767of each distribution of the PPL in files named `fdl.*'.
1768
1769The PPL is free software; you can redistribute it and/or modify it
1770under the terms of the GNU General Public License as published by the
1771Free Software Foundation; either version 3 of the License, or (at your
1772option) any later version.  The license is included, in various
1773formats, in the `doc' subdirectory of each distribution of the PPL in
1774files named `gpl.*'.
1775
1776The PPL is distributed in the hope that it will be useful, but WITHOUT
1777ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1778FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1779for more details.
1780
1781If you have not received a copy of one or both the above mentioned
1782licenses along with the PPL, write to the Free Software Foundation,
1783Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
1784
1785For the most up-to-date information see the Parma Polyhedra Library
1786site: http://bugseng.com/products/ppl/ .
1787