GenAutomata Sections NuprlLIB Doc

Def wp2_rel(A;a;r) == col_subst2(x.smts_eff(action_effect(a;A.eff;A.frame);x);r)

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc