mb
automata
4
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 mentioned
In prior sections:
mb
automata
2
Try larger context:
GenAutomata
mb
automata
4
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)