[PPL-devel] ppl interfaces/Prolog/SICStus/ppl_sicstus.cc s ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at 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_sicstus.cc.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9