[PPL-devel] ppl/doc definitions.dox
Enea Zaffanella
zaffanella at cs.unipr.it
Thu Aug 21 22:50:54 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2008-08-21 22:50:54
Modified files:
doc : definitions.dox
Log message:
Drafted an improved specification for the operator providing simplification
using a given context; also specified for the case of a powerset domain.
(To be double checked).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.215&r2=1.216
More information about the PPL-devel
mailing list