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

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/09/14 18:18:55

Modified files:
	src            : Polyhedron.inlines.hh 

Log message:
	In function constraints(), when we sort the matrix, we also sort the
	SatMatrix if they are update.