CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:30:29
Modified files:
src : Generator.cc
Log message:
Using function all_homogeneous_terms_are_zero() when building a ray or
line to check their validity.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:28:41
Modified files:
src : Generator.inlines.hh
Log message:
Throwing an exception if Generator::coefficient(v) is called with
a variable beyond the space-dimension.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:27:33
Modified files:
src : Constraint.inlines.hh
Log message:
We now throw an exception if Constraint::coefficient(v) is called
with a variable which is beyond the current space-dimension.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:25:23
Modified files:
src : Polyhedron.cc
Log message:
Many comments adjusted. We now use the BE_LAZY flag in
Polyhedron::operator<=, where we do not necessarily minimize given arguments.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:18:02
Modified files:
src : GenSys.cc
Log message:
Using "satisfy" instead of "verify" when talking about the relation
between a generator and a constraint.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…