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

[Enea Zaffanella]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	zaffanella at sandbox.cs.unipr.it	01/10/10 12:15:01

Modified files:
	src            : Constraint.defs.hh ConSys.defs.hh 

Log message:
	Added short descriptions for classes Constraint and ConSys.