[PPL-devel] ppl/src Polyhedron.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-04-16 09:53:33

Modified files:
	src            : Polyhedron.cc 

Log message:
	Test NNCminimize6 has shown that our check for topological closure was
	relying on a false invariant (namely, that in a weakly minimized
	constraint system any strict inequality can be made redundant by
	another strict inequality only).
	Corrected the implementation of is_topologically_closed().

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