CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:24:51
Modified files:
src : LinExpression.defs.hh
Log message:
Constructors of a LinExpression out of a Constraint/Generator made public.
Added a more detailed comment about the unicity of the built expression.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…