[PPL-devel] ppl/src ConSys.defs.hh GenSys.defs.hh Polyhedr ...
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Fri Jan 24 18:46:37 CET 2003
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2003-01-24 18:46:37
Modified files:
src : ConSys.defs.hh GenSys.defs.hh
Polyhedron.defs.hh Polyhedron.inlines.hh
Polyhedron.cc
Log message:
Equality test between polyhedra improved to first perform a few fast-fail
checks, including a complete test for representations in normal form.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.88&r2=1.89
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.178&r2=1.179
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.59&r2=1.60
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.283&r2=1.284
More information about the PPL-devel
mailing list