GenAutomata
Sections
NuprlLIB
Doc
Def
trace_consistent_rel(rho;da;R;r) ==
i:
||r.args||. trace_consistent(rho;da;R;r.args[i])
is mentioned
In prior sections:
mb
automata
3
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
i:
||r.args||. trace_consistent(rho;da;R;r.args[i])