CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-03-27 18:45:20

Modified files: . : TODO interfaces/C : ppl_c.cc src : NNC_Polyhedron.cc PolyBase.cc PolyBase.defs.hh Polyhedron.cc

Log message: Now the default for PolyBase::OK() is not to check for non-emptiness. This is more consistent since OK() without arguments now checks for well-formedness only as all the other methods with the same name. Use OK(true) if you want the extra service of non-emptiness checking.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...