CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2001-11-03 10:40:01
Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc src : Polyhedron.cc Polyhedron.defs.hh tests : inters1.cc inters2.cc
Log message: The function Polyhedron::intersection_assign now is Polyhedron::intersection_assign_and_minimize. Added a new function Polyhedron::intersection_assign that computes the intersection between x and y without minimizing the result.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot=...