CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-12-13 11:35:30
Modified files:
src : Polyhedron.cc
Log message:
In functions Polyhedron::add_constraints() and add_constraints_and_minimize()
improved the comments for the case of a zero-dimensional polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-12-12 17:16:44
Modified files:
src : Polyhedron.cc Polyhedron.inlines.hh
Log message:
The function Polyhedron::set_zero_dim_univ() is now in Polyhedron.cc
(instead of Polyhedron.inlines.hh), says that a zero-dimensional polyhedron
is in a 0-dimensional space and clears the system of the polyhedron.
Used "space_dim" instead of "space_dimension()" (where we call this function
many times).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…