[PPL-devel] ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-06-29 08:21:38

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

Log message: Added bool bounds_from_above(const LinExpression&) const and bool bounds_from_below(const LinExpression&) const: both are implemented in terms of the new bool bounds(const LinExpression& expr, bool from_above) const.

Patches: 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...