[PPL-devel] ppl/src Polyhedron.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2001-10-31 11:26:16

Modified files:
	src            : Polyhedron.cc 

Log message:
	When the user invokes Polyhedron::constraints() on an empty polyhedron,
	we now return the inconsistent constraint of the right dimension.
	This also implies that a polyhedron with the EMPTY flag set can
	still have a non-empty con_sys; therefore, we clear the con_sys
	whenever we change the dimension of an empty polyhedron.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.64&r2=1.65