oblivious_state_machine

This crate defines an abstraction level to conveniently describe state machines.


Licenses
MIT/Apache-2.0

Documentation

Oblivious state machine

This crate provides an abstraction level allowing to conveniently describe state machines by describing their states and not the transitions between the states. A comprehensive overview and elaborated example can be found in this article.