[PPL-devel] ppl/src PolyBase.cc PolyBase.defs.hh

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-03-31 10:06:07

Modified files:
	src            : PolyBase.cc PolyBase.defs.hh 

Log message:
	PolyBase::minimize() now returns a Boolean: false if and only if *this
	turns out to be empty.  Handling of empty polyhedra fixed in
	PolyBase::convex_hull_assign_and_minimize().

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13