mb
automata
1
Sections
GenAutomata
Doc
Def
term_iterate(v; p; op; f; tr; a; t) == t_iterate(
x.ts_case(x) var(a)= > v(a) var'(b)= > p(b) opr(c)= > op(c) fvar(d)= > f(d) trace(P)= > tr(P) end_ts_case ;a;t)
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
1
Sections
GenAutomata
Doc
x.ts_case(x)
var(a)= > v(a)
var'(b)= > p(b)
opr(c)= > op(c)
fvar(d)= > f(d)
trace(P)= > tr(P)
end_ts_case ;a;t)