[−][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 `system` submodule for a state machine implementation that can check a system of actors. See the `spawn` submodule for a runtime that can run your actor over a real network. See the `register` submodule for an example wrapper.
checker	A model checker for a state machine.
explorer	A web service for interactively exploring a state machine.

A convenience structure for succinctly describing a throwaway StateMachine.

Defines how a state begins and evolves, possibly nondeterministically.

Converts a state to a fingerprint.

A state identifier. See fingerprint.