CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella@cs.unipr.it 2002-08-13 10:49:35
Modified files: src : Constraint.cc Constraint.defs.hh Constraint.inlines.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh
Log message: Getting rid of the epsilon_geq_zero() constraint. Added the static function Polyhedron::add_low_level_constraints(ConSys&) to centralize the issues related to the positivity and the epsilon_leq_one() low-level constraints.
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/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/Polyhedron.inlines.hh.diff...