mb
automata
3
Sections
GenAutomata
Doc
Def
wp2_rel(A;a;r) == col_subst2(
x.smts_eff(action_effect(a;A.eff;A.frame);x);r)
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
3
Sections
GenAutomata
Doc
x.smts_eff(action_effect(a;A.eff;A.frame);x);r)