Smalldb Namespace Reference

Description

State Machine Abstraction Layer.

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