[PPL-devel] ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
Elena Mazzi
mazzi at cs.unipr.it
Wed Dec 21 14:30:48 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: mazzi at cs.unipr.it 2005-12-21 14:30:47
Modified files:
src : BD_Shape.defs.hh BD_Shape.inlines.hh
tests/BD_Shape : Makefile.am
Added files:
tests/BD_Shape : generalizedaffinepreimage1.cc
generalizedaffinepreimage2.cc
Log message:
Defined a new method:
BD_Shape::generalized_affine_preimage(var, relsym, expr, den).
Added some tests about this method.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.106&r2=1.107
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffinepreimage1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffinepreimage2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.28&r2=1.29
More information about the PPL-devel
mailing list