CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-12-11 11:45:37

Modified files: . : NEWS README TODO demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c doc : definitions.dox devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: ppl_prolog.icc src : Ask_Tell.defs.hh Ask_Tell.inlines.hh BHRZ03_Certificate.cc C_Polyhedron.cc C_Polyhedron.defs.hh C_Polyhedron.inlines.hh Constraint.defs.hh Determinate.defs.hh Determinate.inlines.hh GenSys.inlines.hh Generator.defs.hh H79_Certificate.cc Linear_Expression.defs.hh Linear_System.defs.hh Makefile.am Matrix.defs.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Widening_Function.defs.hh Widening_Function.inlines.hh algorithms.hh tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize5.cc NNCminimize6.cc addconstraint1.cc addconstraints1.cc addconstraints10.cc addconstraints11.cc addconstraints12.cc addconstraints13.cc addconstraints2.cc addconstraints3.cc addconstraints4.cc addconstraints5.cc addconstraints6.cc addconstraints7.cc addconstraints8.cc addconstraints9.cc addspacedims3.cc addspacedims4.cc addspacedims5.cc ascii_dump_load4.cc boundedh79extrapolation1.cc boundingbox1.cc boundingbox3.cc concatenate1.cc concatenate2.cc concatenate3.cc constraints1.cc constraints2.cc constraints3.cc constraints4.cc contains2.cc contains3.cc contains5.cc exceptions1.cc exceptions2.cc generators1.cc generators2.cc geomcovers1.cc intersection4.cc limitedbhrz03extrapolation1.cc limitedh79extrapolation1.cc limitedh79extrapolation2.cc limitedh79extrapolation3.cc limitedh79extrapolation4.cc maxspacedim1.cc membytes1.cc minconstraints1.cc minconstraints2.cc minconstraints3.cc minconstraints4.cc polydifference2.cc polydifference3.cc polydifference8.cc print.cc print.hh randphull2.cc relations1.cc relations8.cc relations9.cc smm1.cc timeelapse3.cc universe3.cc universe4.cc universe6.cc writeconsys1.cc Added files: src : Constraint_System.cc Constraint_System.defs.hh Constraint_System.inlines.hh Constraint_System.types.hh Removed files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh ConSys.types.hh

Log message: The class ConSys has been renamed Constraint_System.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-lat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-late... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.types.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.types.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints11.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints12.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints13.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims3.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims4.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims5.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundedh79extrapolation1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/constraints1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/constraints2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/constraints3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/constraints4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains5.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/geomcovers1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection4.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03extrapolati... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/maxspacedim1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations8.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations9.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse3.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe4.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe6.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writeconsys1.cc.diff?cvs...