Crate rust_automata

Attribute‑style DSL for defining finite‑state machines.

See the rust-automata crate for high-level usage.

Modules

clock

Provide structs for measuring time.

timestamp

Provide timestamp and timestamp delta types.

Structs

StateMachine

Encapsulates the state and other SM data and expose transition functions.

Traits

Alphabet

Trait for input/output alphabet. Used for internal enum generation.

StateTrait

Trait for states. Used for internal enum generation.

Attribute Macros

state_machine

The main macro for defining automata.