[PPL-devel] Polyhedra/src ConSys.defs.hh Constraint.cc Con ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/29 18:16:04

Modified files:
	src            : ConSys.defs.hh Constraint.cc Constraint.defs.hh 
	                 GenSys.defs.hh Matrix.defs.hh interface.cc 
Removed files:
	src            : restricted_iterator.hh 

Log message:
	ConSys::const_iterator and GenSys::const_iterator finished
	and simplified.