A static description of a temporal automaton.
A single automaton state, which is supposed to be bound to some number of variables and which may or may not be an accepting state.
A single allowable transition in a temporal automaton.
Opaque C structure that wraps a Rust Automaton value.
Actions that may be required when we take a transition.
An error that can be encountered in automaton processing.
Events that can cause a transition to occur.
An integer type that controls how many bits are in a variable binding mask, therefore how many variable a particular automaton instance can bind to.
The result of calling a potentially-failing function.
An integer type that controls how many states an automaton can have.
A type for the transitions that can be taken out from a state and their destinations.
The type of value that can be bound to variables.