Uses of Package
net.automatalib.automaton.vpa
-
Classes in net.automatalib.automaton.vpa used by net.automatalib.automaton.vpa Class Description AbstractDefaultSEVPA Basic functionality forLocation
-based SEVPA implementations.AbstractSEVPA Abstract class for k-SEVPAs that implements functionality shared across different subtypes.Location Location type used for the default 1-SEVPA.OneSEVPA A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).SEVPA Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.SEVPAGraphView.SevpaViewEdge StackContents A simplified stack implementation that allows to store integer values.State Utility class to combine an entity (e.g. a location) with stack information. -
Classes in net.automatalib.automaton.vpa used by net.automatalib.util.automaton.procedural Class Description OneSEVPA A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).SEVPA Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics. -
Classes in net.automatalib.automaton.vpa used by net.automatalib.util.automaton.random Class Description DefaultOneSEVPA Default implementation for 1-SEVPAs. -
Classes in net.automatalib.automaton.vpa used by net.automatalib.util.automaton.vpa Class Description AbstractSEVPA Abstract class for k-SEVPAs that implements functionality shared across different subtypes.DefaultOneSEVPA Default implementation for 1-SEVPAs.OneSEVPA A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).SEVPA Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics. -
Classes in net.automatalib.automaton.vpa used by net.automatalib.util.minimizer Class Description DefaultOneSEVPA Default implementation for 1-SEVPAs.OneSEVPA A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).