Module momba_explore::external [−][src]
Data structures for communicating with external tools.
Structs
Transition | Represents a joint transition of an automaton network. |
Data structures for communicating with external tools.
Transition | Represents a joint transition of an automaton network. |