GenAutomata Sections NuprlLIB Doc

Def mentions_trace(t) == iterate(statevar x- > false statevar x'- > false funsymbol x- > false freevar x- > false trace(P)- > true x(y)- > x y over t)

is mentioned

In prior sections: mb automata 2 mb automata 3


GenAutomata Sections NuprlLIB Doc