Next: Accessed and updated functions
Up: Informal Semantics of ``accesses''
Previous: Informal Semantics of ``accesses''
If an asm B is used in A as a sub-asm, the accessed and
updated functions in B are directly linked to the corresponding
functions in A. That means that if B updates a function
declared in A, the update is visible for both A and B in the
subsequent step. This can be done in this way, because A and B
step simultaneously; the rules of B are regarded as part of the
rules of A. Similarly, if B accesses a sub-asm C, then firing
C in B has the same effect than firing C in A.