CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-02-24 12:14:10 Modified files: . : Makefile.am README configure.ac doc : Makefile.am definitions.dox interfaces : Makefile.am interfaces/Prolog: Makefile.am interfaces/Prolog/SICStus: Makefile.am clpq.pl clpq2.pl expected m4 : Makefile.am ac_check_gmp.m4 src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh ConSys.types.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh Constraint.types.hh GenSys.cc GenSys.defs.hh GenSys.inlines.hh GenSys.types.hh Generator.cc Generator.defs.hh Generator.inlines.hh Generator.types.hh Integer.cc Integer.defs.hh Integer.inlines.hh Integer.types.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh LinExpression.types.hh Makefile.am Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Row.cc Row.defs.hh Row.inlines.hh Row.types.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatMatrix.types.hh SatRow.cc SatRow.defs.hh SatRow.inlines.hh SatRow.types.hh Status.cc Status.defs.hh Status.inlines.hh Status.types.hh Variable.cc Variable.defs.hh Variable.inlines.hh Variable.types.hh conversion.cc globals.hh minimize.cc ppl_header.top simplify.cc tests : Makefile.am addconstraints1.cc addconstraints2.cc addconstraints3.cc adddimensions1.cc addgenerators1.cc addgenerators2.cc affineimage1.cc affinetrans.cc append1.cc append2.cc convexdifference1.cc convexhull1.cc ehandlers.hh empty1.cc error1.cc error2.cc error3.cc error4.cc error5.cc includes1.cc inters1.cc inters2.cc inters3.cc limitedwidening1.cc limitedwidening2.cc onepoint.cc permute.cc randchull1.cc removedim1.cc removedim2.cc removedim3.cc removedim4.cc satisfies1.cc smm1.cc Log message: Copyright year bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.23&r2=1.24 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.34&r2=1.35 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clpq.pl.diff?cvsroot=ppl&r1=1.25&r2=1.26 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clpq2.pl.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/expected.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.28&r2=1.29 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.40&r2=1.41 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.33&r2=1.34 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.21&r2=1.22 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.121&r2=1.122 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.74&r2=1.75 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.24&r2=1.25 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.types.hh.diff?cvsroot=ppl&r1=1.1.1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.top.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.40&r2=1.41 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints1.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints3.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators2.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexdifference1.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/empty1.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error1.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error4.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error5.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters3.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening1.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening2.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/onepoint.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim1.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim4.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies1.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2