mb automata 3 Sections GenAutomata Doc

Def wp2(A;a;Q) == (rQ.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