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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at 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.