GenAutomata Sections NuprlLIB Doc

Def smts_eff(ss;x) == smt_terms( < s ss | s.lbl = x > )

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc