CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-19 11:22:01

Modified files: src : LinExpression.defs.hh LinExpression.cc

Log message: Added explicit constructors taking a constraint/generator as parameter: they are PPL_INTERNAL and extract from the parameter a "necessarily closed" copy of the corresponding linear expression.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvsr...