L
- location typeI
- input alphabet typepublic interface OneSEVPA<L,I> extends DeterministicAcceptorTS<State<L>,I>, SuffixOutput<I,Boolean>
For more information on the semantics of VPAs see e.g. "Congruences for Visibly Pushdown Languages" by Alur, Kumar, Madhusudan and Viswanathan.
Modifier and Type | Method and 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.
|
L |
getInternalSuccessor(L loc,
I intSym) |
L |
getLocation(int id) |
int |
getLocationId(L loc) |
List<L> |
getLocations() |
int |
getNumStackSymbols() |
L |
getReturnSuccessor(L loc,
I retSym,
int stackSym) |
default boolean |
isAccepting(State<L> state)
Checks whether the given state is accepting.
|
boolean |
isAcceptingLocation(L loc) |
int |
size() |
accepts, isAccepting
getStateProperty, getSuccessor, getTransitionProperty
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
L getLocation(int id)
int getLocationId(L loc)
int getNumStackSymbols()
int size()
default Boolean computeOutput(Iterable<? extends I> input)
computeOutput
in interface DeterministicAcceptorTS<State<L>,I>
computeOutput
in interface Output<I,Boolean>
computeOutput
in interface SuffixOutput<I,Boolean>
default Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
default boolean isAccepting(State<L> state)
AcceptorTS
isAccepting
in interface AcceptorTS<State<L>,I>
state
- the statetrue
if the state is accepting, false
otherwise.boolean isAcceptingLocation(L loc)
default State<L> getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<State<L>,I>
SimpleTS.getInitialStates()
L getInitialLocation()
Copyright © 2019. All rights reserved.