Package net.automatalib.automaton.procedural

Interface Summary

Interface	Description
SBA<S,I>	A system of behavioral automata.
SPA<S,I>	A system of procedural automata.
SPMM<S,I,T,O>	A system of procedural Mealy machines.

Class Summary

Class	Description
ProceduralGraphView<S,I>	Graph representation of a ProceduralSystem that displays all states of its sub-procedures once, i.e., without incorporating execution semantics such as stack contents.