25 Jul
2001
25 Jul
'01
9:24 a.m.
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.