Package net.automatalib.automata.vpda

Interface Summary

Interface	Description
OneSEVPA<L,I>	Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific structure and semantics.

Class Summary

Class	Description
StackContents	A simplified stack implementation that allows to store integer values.
State<L>	Utility class to combine an entity (e.g. a location) with stack information.