CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci@cs.unipr.it 2002-11-07 18:32:27 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Status.cc Status.defs.hh Status.inlines.hh Log message: Added in the Status the flags that say if the polyhedron has something pending. Added the methods that check these flags. 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.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cvs...