CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: roberto@cs.unipr.it 2002-10-15 15:09:27

Modified files: . : ChangeLog NEWS STANDARDS config.guess config.h.in config.sub configure.ac ltmain.sh ppl.spec.in doc : Makefile.am definitions.dox devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in fdl.dox gpl.dox interfaces/C : ppl_c.cc ppl_c.h interfaces/Prolog: Prolog_interface.dox clpq2.pl pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: Makefile.am ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc src : AskTell.defs.hh BoundingBox.defs.hh C_Polyhedron.defs.hh ConSys.cc ConSys.defs.hh Constraint.cc Constraint.defs.hh Determinate.defs.hh Determinate.inlines.hh GenSys.cc GenSys.defs.hh Integer.defs.hh Integer.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Makefile.am Matrix.cc Matrix.defs.hh NNC_Polyhedron.defs.hh Poly_Con_Relation.cc Poly_Con_Relation.defs.hh Poly_Gen_Relation.cc Poly_Gen_Relation.defs.hh Polyhedron.cc Polyhedron.defs.hh PowerSet.defs.hh PowerSet.inlines.hh Row.cc Row.defs.hh SatMatrix.cc SatMatrix.defs.hh SatRow.cc SatRow.defs.hh Status.cc Status.defs.hh conversion.cc globals.hh minimize.cc simplify.cc tests : Makefile.am bbrz02widening1.cc bbrz02widening6.cc bbrz02widening7.cc bbrz02widening9.cc exceptions1.cc exceptions2.cc mc91.cc memory1.cc Added files: doc : bib2dox bib2html1.sed bib2html2.sed src : algorithms.hh tests : addconstraint2.cc addconstraint3.cc addconstraints10.cc addconstraints11.cc addconstraints12.cc adddimensions11.cc addgenerator3.cc addgenerators11.cc affineimage3.cc affineimage4.cc affineimage5.cc affinepreimage5.cc affinepreimage6.cc affinepreimage7.cc ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc bbrz02widening10.cc bbrz02widening11.cc bbrz02widening12.cc bbrz02widening13.cc bbrz02widening14.cc bbrz02widening15.cc bbrz02widening16.cc bbrz02widening17.cc bbrz02widening18.cc concatenate5.cc contains1.cc files.cc files.hh generalizedaffineimage1.cc generalizedaffineimage10.cc generalizedaffineimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffineimage5.cc generalizedaffineimage6.cc generalizedaffineimage7.cc generalizedaffineimage8.cc generalizedaffineimage9.cc h79widening5.cc intersection10.cc linearpartition1.cc linearpartition2.cc linearpartition3.cc minconstraints2.cc minconstraints3.cc mingenerators2.cc mingenerators3.cc polydifference7.cc polyhull7.cc polyhull8.cc relations10.cc relations11.cc relations12.cc relations13.cc relations14.cc relations15.cc relations16.cc stronglyminimize1.cc stronglyminimize2.cc stronglyminimize3.cc timeelapse6.cc timeelapse7.cc topclosed3.cc topclosure2.cc

Log message: Merged the changes on the main trunk within the tags third_merge_to_alt_nnc and fourth_merge_to_alt_nnc.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=p... 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/doc/fdl.dox.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&a... 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.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.... 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/interfaces/Prolog/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... 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/AskTell.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.defs.hh.diff?c... 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/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/Constraint.cc.diff?cvsroot... 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.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.d... 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.cc.diff?cvsroot=ppl... 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/Poly_Con_Relation.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... 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/PowerSet.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint3.cc.diff?c... 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/adddimensions11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator3.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening11.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening12.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening13.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening18.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage10... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage3.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage4.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage5.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage6.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage8.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage9.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection10.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.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/mingenerators2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull7.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull8.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations12.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations13.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations15.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations16.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize1.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize3.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse6.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse7.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening9.cc.diff?... 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/mc91.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot=...