[PPL-devel] Polyhedra/src Constraint.cc Makefile.am Makefi ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/07/25 09:24:13

Modified files:
	src            : Constraint.cc Makefile.am Makefile.in PPL.hh 
	                 interface.cc 
Added files:
	src            : LinExpr.cc LinExpr.defs.hh LinExpr.inlines.hh 
	                 LinExpr.types.hh Variable.cc Variable.defs.hh 
	                 Variable.inlines.hh Variable.types.hh 

Log message:
	Classes Variable and LinExpr properly implemented.