Package net.automatalib.automaton.vpa

Interface SEVPA<L,I>

Type Parameters:

L - location type

I - 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

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 interface InputAlphabetHolder<L>

encodeStackSym

int encodeStackSym(L srcLoc,
                   I callSym)

getInternalSuccessor

@Nullable L getInternalSuccessor(L loc,
                                 I intSym)

getLocation

L getLocation(int id)

getLocationId

int getLocationId(L loc)

getLocations

List<L> getLocations()

getNumStackSymbols

int getNumStackSymbols()

getModuleEntry

L getModuleEntry(I callSym)

getReturnSuccessor

@Nullable L getReturnSuccessor(L loc,
                               I retSym,
                               int stackSym)

computeOutput

default Boolean computeOutput(Iterable<? extends I> input)

Specified by:

computeOutput in interface DeterministicAcceptorTS<L,I>

Specified by:

computeOutput in interface Output<L,I>

Specified by:

computeOutput in interface SuffixOutput<L,I>

computeSuffixOutput

default Boolean computeSuffixOutput(Iterable<? extends I> prefix,
                                    Iterable<? extends I> suffix)

Specified by:

computeSuffixOutput in interface DeterministicAcceptorTS<L,I>

Specified by:

computeSuffixOutput in interface SuffixOutput<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 interface AcceptorTS<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 interface SimpleDTS<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 interface GraphViewable