#state-machine #abstraction #transition #level #describe #conveniently #describing

oblivious_state_machine

This crate defines an abstraction level to conveniently describe state machines

6 releases

0.6.5 Feb 15, 2023
0.6.4 Feb 13, 2023
0.6.0 Nov 10, 2022

#1771 in Algorithms

22 downloads per month

MIT/Apache

35KB
786 lines

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.


lib.rs:

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.

Dependencies

~2.5–4MB
~73K SLoC