CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-10-31 18:02:58

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

Log message: Added :operator<<(std::ostream& s, const ExtendedRational& x). In ExtendedRational(const Integer& num, const Integer& den) we temporary use `canonicalize()'. Added the part that we use if the bounding box must be shrunk in polynomial time (if the generator system of the polyhedron is not up-to-date).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff...