CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-02-26 10:34:34
Modified files:
src : Polyhedron.defs.hh
Log message:
Added the documentation for the exception thrown in the function
Polyhedron::add_generators and Polyhedron::add_generators_and_minimize
if the polyhedron is empty and the system of generators has no vertices.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-02-26 09:15:45
Modified files:
src : Constraint.defs.hh
Log message:
Simplified the example showing how to use the Constraint::coefficient()
methods.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-26 02:01:03
Modified files:
src : conversion.cc
Log message:
Another big pass on all the comments, trying to uniformize the terminology.
Small changes in the code to avoid repeating tests that are useless
under certain conditions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-02-25 21:08:41
Modified files:
src : Generator.defs.hh
Log message:
The example on the use of coefficient(v) modified to keep into account
the divisor of the vertex and to actually check that g1 is a vertex.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…