StateMachine.Validation (state_machine v0.1.8)

StateMachine supports automatic validation on compile time. It makes its best effort to ensure determinism (to some degree). It checks that all used states were previously defined.

TODO: Check unreachable states?

Summary

Functions

Validates presense of states used in transitions.

Validates that no more than one unguarded transition is originated in every state.

Functions

validate_all(sm)

validate_states_in_transitions(sm)

Validates presense of states used in transitions.

validate_transitions_determinism(sm)

Validates that no more than one unguarded transition is originated in every state.