[PPL-devel] ppl ./NEWS src/Polyhedron.cc src/Polyhedron.de ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-02-23 14:06:12

Modified files:
	.              : NEWS 
	src            : Polyhedron.cc Polyhedron.defs.hh 
	tests          : Makefile.am 
Added files:
	tests          : convexdifference1.cc 

Log message:
	New methods Polyhedron::convex_difference_assign(const Polyhedron&) and
	Polyhedron::convex_difference_assign_and_minimize(const Polyhedron&).
	They assigns to *this the convex hull of the set-theoretic difference
	of *this and the argument (possibly non minimized or minimized,
	respectively).
	Polyhedron::convex_hull_assign() was missing the final assert(OK()).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.118&r2=1.119
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexdifference1.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.39&r2=1.40