libSmalldb  v0.6
Namespaces
Smalldb Namespace Reference

Description

State Machine Abstraction Layer.

Namespaces

 StateMachine
 Implementation of Smalldb state machine, the nondeterministic parametric finite automaton.