[PPL-devel] ppl/src Polyhedron_public.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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?cvsroot=ppl&r1=1.45&r2=1.46