Quote: for any flow x, pre(x) is the previous value; a- >x is initially a then x; e.g., count of rising edges

Quotation Skeleton

Two additional temporal operators make it possible to … step is the previous value of x … 2. The "- >" operator defines initial values: … that is equal to x in the first … These operators provide the essential descriptive power of … pre(nat)+1; edgecount=0- > if edge then pre(edgecount)+1 else … to be the step counter … , and edgecount to count the number of …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: temporal relationships (40 items)
Topic: processing a sequence (17 items)
Topic: data flow languages (33 items)