CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-12-16 14:55:09

Modified files: src : Polyhedron_public.cc

Log message: Added a preprocessing flag to control whether we insist on returning sorted descriptions. Currently the flag is unset and we only order the generator systems of NNC polyhedra, if these are known to be in minimal form.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?...