[PPL-devel] Polyhedra/src Polyhedron.cc Polyhedron.inlines.hh

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/14 19:00:13

Modified files: src : Polyhedron.cc Polyhedron.inlines.hh

Log message: Polyhedron::constraints() fixed. Assume and enforce that Polyhedron::update_sat_c() and Polyhedron::update_sat_g() are never called if we know that the call is unnecessary.