CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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.