x,y. affects_trace(e;k;x) 
y;false;r.args)
statevar x'- > false
funsymbol x- > false
freevar x- > false
trace(P)- > e(P,k)
x(y)- > x y
over t)
is mentioned by
|
Def affects_trace_rel(e;k;r)
== reduce(x,y. affects_trace(e;k;x) y;false;r.args) | [affects_trace_rel] |
In prior sections: mb automata 2
Try larger context: GenAutomata