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

[Enea Zaffanella]

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

Modified files:
	src            : ConSys.defs.hh GenSys.defs.hh ConSys.inlines.hh 
	                 GenSys.inlines.hh 

Log message:
	Added the copy constructors for both ConSys and GenSys.
	Added a method "insert" to GenSys.