CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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?...