[PPL-devel] ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
Enea Zaffanella
zaffanella at cs.unipr.it
Mon Oct 3 12:40:20 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2005-10-03 12:40:20
Modified files:
src : BD_Shape.defs.hh BD_Shape.inlines.hh
Log message:
Added methods difference_assign() and strictly_contains(), that are required
when instantiating Polyhedra_Powerset<BD_Shape> and using the BHZ03 widening.
Widening methods now have a dummy token argument (not used yet).
Removed unreasonable inline directives from too complex class template member
implementations.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.65&r2=1.66
More information about the PPL-devel
mailing list