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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/09 11:31:16

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

Log message:
	Constraint::is_nontrivial() fixed.
	As an interim solution, Polyhedron::constraints() now returns
	*sorted* constraints.