Package net.automatalib.automaton.vpa

Interface Summary

Interface	Description
OneSEVPA<L,I>	A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).
SEVPA<L,I>	Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.

Class Summary

Class	Description
AbstractDefaultSEVPA<I>	Basic functionality for Location-based SEVPA implementations.
AbstractSEVPA<L,I>	Abstract class for k-SEVPAs that implements functionality shared across different subtypes.
DefaultNSEVPA<I>	Default implementation for n-SEVPAs.
DefaultOneSEVPA<I>	Default implementation for 1-SEVPAs.
Location	Location type used for the default 1-SEVPA.
SEVPAGraphView<L,I>
SEVPAGraphView.SevpaViewEdge<S,I>
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.