Crate extemp [−] [src]
Modules
| determinism | |
| dot |
Structs
| Automaton |
A static description of a temporal automaton. |
| State |
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. |
| Transition |
A single allowable transition in a temporal automaton. |
| extemp_automaton |
Opaque C structure that wraps a Rust Automaton value. |
Enums
| Action |
Actions that may be required when we take a transition. |
| Error |
An error that can be encountered in automaton processing. |
| Event |
Events that can cause a transition to occur. |
Type Definitions
| Mask |
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. |
| Result |
The result of calling a potentially-failing function. |
| StateID |
An integer type that controls how many states an automaton can have. |
| TransitionMap |
A type for the transitions that can be taken out from a state and their destinations. |
| Value |
The type of value that can be bound to variables. |