[PPL-devel] Polyhedra/src Constraint.defs.hh Constraint.in ...

[Roberto Bagnara]

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

Modified files:
	src            : Constraint.defs.hh Constraint.inlines.hh 
	                 GenSys.defs.hh Generator.defs.hh 
	                 Generator.inlines.hh LinExpression.defs.hh 
	                 LinExpression.inlines.hh Polyhedron.cc 
	                 Row.defs.hh Row.inlines.hh 

Log message:
	Draft new interface for Constraint, Generator and GenSys.