libSmalldb  v0.7-66-gb94d22a
Namespaces
Smalldb Namespace Reference

Description

State Machine Abstraction Layer.

Namespaces

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