CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-08-19 15:58:25

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

Log message: The historical operators operator<<(std::ostream&, const Polyhedron&) and oprator>>(std::istream&, Polyhedron&) have been replaced by (internal) methods Polyhedron::ASCII_dump(std::ostream& s) and ASCII_load(std::istream& s). New version of operator<<(std::ostream& s, const Polyhedron& ph): writes a textual representation of \p ph on \p s: "false" is written if `ph' is an empty polyhedron; "true" is written if `ph' is a universe polyhedron; a minimized system of constraints defining `ph' is written otherwise, all constraints in one row separated by ", ".

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