CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-11-23 08:57:20
Modified files: src : SatRow.cc SatRow.defs.hh simplify.cc
Log message: New function bool subset_or_equal(const SatRow& x, const SatRow& y, bool& strict_subset) allows a simple optimization of Polyhedron::simplify(). The function bool strict_subset(const SatRow& x, const SatRow& y) is currently unused but left in place: it may be needed and, moreover, when all what matters is strict inclusion, `strict_subset(x, y)' is faster than `subset_or_equal(x, y, s) && s'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...