CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-17 00:19:17

Modified files: src : Constraint.defs.hh Constraint.inlines.hh Constraint.cc

Log message: Added static methods to produce the two (zero-dim) epsilon constraints replacing the positivity constraint in NNC polyhedra (0 \leq \epsilon \leq 1). Methods is_trivial_true() and is_trivial_false() modified to also work for strict inequalities.

Patches: 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.cc.diff?cvsroot...