delay-dataflow(P) == seq-dataflow(P;buffer-dataflow({};x.0 <z bag-size(x)))
Definitions occuring in Statement :
buffer-dataflow: buffer-dataflow(s;x.P[x]),
seq-dataflow: seq-dataflow(P;Q),
lt_int: i <z j,
natural_number: $n
Definitions :
seq-dataflow: seq-dataflow(P;Q),
buffer-dataflow: buffer-dataflow(s;x.P[x]),
empty-bag: Error :empty-bag,
lt_int: i <z j,
natural_number: $n,
bag-size: Error :bag-size
FDL editor aliases :
delay-dataflow
delay-dataflow(P) == seq-dataflow(P;buffer-dataflow(\{\};x.0 <z bag-size(x)))
Date html generated:
2011_08_10-AM-08_17_48
Last ObjectModification:
2011_01_19-PM-01_24_33
Home
Index