[−][src]Crate stateright
A library for implementing state machines, in particular those defining distributed systems.
Please see the examples, README, and submodules for additional details.
Modules
actor | This module provides an actor abstraction. See the |
checker | A model checker for a state machine. |
explorer | A web service for interactively exploring a state machine. |
Structs
QuickMachine | A convenience structure for succinctly describing a throwaway |
Traits
StateMachine | Defines how a state begins and evolves, possibly nondeterministically. |
Functions
fingerprint | Converts a state to a fingerprint. |
Type Definitions
Fingerprint | A state identifier. See |