mb automata 4 Sections GenAutomata Doc

Def ioa_trans(A;a;I) == vc_qimp(mk_qimp(a, I action_pre(a;A.pre), smts_eff_pred(action_effect(a;A.eff;A.frame);I)))

is mentioned by

Def ioa_trans_all{i}(A;I) == < ioa_trans(A;a.lbl;I) | a A.da > [ioa_trans_all]

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc