CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-12-28 11:02:10

Modified files: src : Constraint.cc Constraint.defs.hh Constraint.inlines.hh Constraint_System.cc Constraint_System.defs.hh Generator.cc Generator.defs.hh Generator.inlines.hh Generator_System.defs.hh Linear_Expression.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc

Log message: Classes Constraint and Generator now have comparison operators == and !=, checking for semantic equivalence. Class constraint has publicly available methods is_tautological() and is_inconsistent(), replacing the preovate methods is_trivial_true() and is_trivial_false(). The swap methods of classes Constraint, Generator, Linear_Expression, Constraint_System and Generator_System are now publicly available. Corrected a minor efficiency bug in Polyhedron::shrink_bounding_box().

Patches: 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/Constraint.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?... 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/Generator.cc.diff?cvsroot=... 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/Generator.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.d... 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/Polyhedron.inlines.hh.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...