CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2007-11-19 08:41:51

Modified files: src : Polyhedron_public.cc

Log message: A couple of small improvements to the implementation of constrains(): - avoid counting lines if the generator system is not minimized (no matter if it has pending generators or not); - prefer efficient methods g.is_line_or_ray() and g.is_line() with respect to g.type() when checking for lines and rays.

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