CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-04-19 10:17:10
Modified files:
interfaces/Prolog: ppl_prolog.icc
Log message:
In the copy methods/predicates the arguments have been reversed
to match the corresponding ones in the C interface.
Now the 1st argument unifies with a handle for the new polyhedron
and the 2nd argument is the handle for the source/original polyhedron.
Predicates affected are:
ppl_new_C_Polyhedron_from_C_Polyhedron,
ppl_new_NNC_Polyhedron_from_NNC_Polyhedron,
ppl_new_C_Polyhedron_from_NNC_Polyhedron,
ppl_new_NNC_Polyhedron_from_C_Polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-04-16 09:53:33
Modified files:
src : Polyhedron.cc
Log message:
Test NNCminimize6 has shown that our check for topological closure was
relying on a false invariant (namely, that in a weakly minimized
constraint system any strict inequality can be made redundant by
another strict inequality only).
Corrected the implementation of is_topologically_closed().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…