[PPL-devel] Polyhedra/ rc/ConSys.defs.hh rc/ConSys.inlines ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/15 18:13:56

Modified files:
	src            : ConSys.defs.hh ConSys.inlines.hh Constraint.cc 
	                 Constraint.defs.hh Constraint.inlines.hh 
	                 GenSys.defs.hh GenSys.inlines.hh Generator.cc 
	                 Generator.defs.hh Generator.inlines.hh 
	                 LinExpression.defs.hh Polyhedron.cc Variable.cc 
	                 Variable.defs.hh 
	test           : user.cc 

Log message:
	ConSys::const_iterator revised.
	GenSys::const_iterator written.
	Pretty-print function for Generator written.
	Bomb messages in Polyhedron::OK() made less verbose.