Package net.automatalib.automaton.vpa
Interface SEVPA<L,I>
-
- Type Parameters:
L
- location typeI
- input alphabet type
- All Superinterfaces:
AcceptorTS<State<L>,I>
,DeterministicAcceptorTS<State<L>,I>
,DeterministicTransitionSystem<State<L>,I,State<L>>
,FiniteRepresentation
,GraphViewable
,InputAlphabetHolder<I>
,Output<I,Boolean>
,SimpleDTS<State<L>,I>
,SimpleTS<State<L>,I>
,SuffixOutput<I,Boolean>
,TransitionSystem<State<L>,I,State<L>>
,UniversalDTS<State<L>,I,State<L>,Boolean,Void>
,UniversalTransitionSystem<State<L>,I,State<L>,Boolean,Void>
- All Known Subinterfaces:
OneSEVPA<L,I>
- All Known Implementing Classes:
AbstractDefaultSEVPA
,AbstractSEVPA
,DefaultNSEVPA
,DefaultOneSEVPA
,ProductOneSEVPA
public interface SEVPA<L,I> extends DeterministicAcceptorTS<State<L>,I>, SuffixOutput<I,Boolean>, InputAlphabetHolder<I>, GraphViewable, FiniteRepresentation
Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics. Additionally -- unless specified other by an implementation -- this interface only accepts well-matched words.For more information on the semantics of VPAs see e.g. Congruences for Visibly Pushdown Languages by Alur, Kumar, Madhusudan and Viswanathan.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default Boolean
computeOutput(Iterable<? extends I> input)
default Boolean
computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
int
encodeStackSym(L srcLoc, I callSym)
L
getInitialLocation()
default State<L>
getInitialState()
Retrieves the initial state of this transition system.VPAlphabet<I>
getInputAlphabet()
@Nullable L
getInternalSuccessor(L loc, I intSym)
L
getLocation(int id)
int
getLocationId(L loc)
List<L>
getLocations()
L
getModuleEntry(I callSym)
int
getNumStackSymbols()
@Nullable L
getReturnSuccessor(L loc, I retSym, int stackSym)
default Graph<L,SEVPAGraphView.SevpaViewEdge<L,I>>
graphView()
default boolean
isAccepting(State<L> state)
Checks whether the given state is accepting.boolean
isAcceptingLocation(L loc)
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
accepts, isAccepting
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
getInputAlphabet
VPAlphabet<I> getInputAlphabet()
- Specified by:
getInputAlphabet
in interfaceInputAlphabetHolder<L>
-
getLocation
L getLocation(int id)
-
getLocationId
int getLocationId(L loc)
-
getNumStackSymbols
int getNumStackSymbols()
-
computeOutput
default Boolean computeOutput(Iterable<? extends I> input)
- Specified by:
computeOutput
in interfaceDeterministicAcceptorTS<L,I>
- Specified by:
computeOutput
in interfaceOutput<L,I>
- Specified by:
computeOutput
in interfaceSuffixOutput<L,I>
-
computeSuffixOutput
default Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
- Specified by:
computeSuffixOutput
in interfaceDeterministicAcceptorTS<L,I>
- Specified by:
computeSuffixOutput
in interfaceSuffixOutput<L,I>
-
isAccepting
default boolean isAccepting(State<L> state)
Description copied from interface:AcceptorTS
Checks whether the given state is accepting.- Specified by:
isAccepting
in interfaceAcceptorTS<L,I>
- Parameters:
state
- the state- Returns:
true
if the state is accepting,false
otherwise.
-
isAcceptingLocation
boolean isAcceptingLocation(L loc)
-
getInitialState
default State<L> getInitialState()
Description copied from interface:SimpleDTS
Retrieves the initial state of this transition system.- Specified by:
getInitialState
in interfaceSimpleDTS<L,I>
- Returns:
- the initial state.
- See Also:
SimpleTS.getInitialStates()
-
getInitialLocation
L getInitialLocation()
-
graphView
default Graph<L,SEVPAGraphView.SevpaViewEdge<L,I>> graphView()
- Specified by:
graphView
in interfaceGraphViewable
-
-