[PPL-devel] ppl/src Polyhedron_public.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2006-09-26 15:37:34

Modified files:
	src            : Polyhedron_public.cc 

Log message:
	In method OK(), do not attempt minimizing the constraint description, unless
	the constraints are claimed to be already minimized (so as to check for the
	correctness of the claim) or if explicitly required to check for emptyness.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.81&r2=1.82