CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-30 12:25:19
Modified files:
src : Polyhedron.cc
Log message:
In function add_dimensions_and_constraints_lazy, if we are lazy we only
say that the system of constraints is not sorted, otherwise we sort
the system of constraints.
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-10-30 12:17:38
Modified files:
tests : addconstraints2.cc
Log message:
Changed the second system of constraints (ConSys c2) to have
a non-empty polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-30 11:39:19
Modified files:
src : Polyhedron.cc
Log message:
In add_constraints, after adding NO constraints at all we still need to
check for the emptyness of the polyhedron.
In insert(const Constraint&), adjusted assertions and added triviality check
when inserting into a zero-dim space 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: zaffanella(a)cs.unipr.it 2001-10-30 11:05:00
Modified files:
src : Polyhedron.cc
Log message:
In add_constraints(_lazy), if a zero-dim space polyhedron is considered,
using ConSys iterators to see if an inconsistent polyhedron is created.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
