[PPL-devel] ppl/src Polyhedron_public.cc
Enea Zaffanella
zaffanella at cs.unipr.it
Tue Sep 26 15:37:34 CEST 2006
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
More information about the PPL-devel
mailing list