[PPL-devel] ppl/src Polyhedron.cc ConSys.cc
Elisa Ricci
ericci at spartacus.cs.unipr.it
Wed Oct 31 10:28:03 CET 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci at cs.unipr.it 2001-10-31 10:28:03
Modified files:
src : Polyhedron.cc ConSys.cc
Log message:
In functions Polyhedron::includes and ConSys::satisfies_all_constraints
the cases of a polyhedron in a zero-dimensional space and of
g.space_dimension < space_dimension
are considered.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16
More information about the PPL-devel
mailing list