Package net.automatalib.automaton.vpa
Interface OneSEVPA<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>
,SEVPA<L,I>
,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 Implementing Classes:
DefaultOneSEVPA
,ProductOneSEVPA
public interface OneSEVPA<L,I> extends SEVPA<L,I>
A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata). Note that contrary to the original definition of Alur et al. where 1-SEVPAs consist of one (separate) "main" module and one module for all call symbols, this implementation assumes a single module for both the "main" procedure and all call symbols, i.e., the initial location and all module entries coincide.
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default L
getModuleEntry(I callSym)
-
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.automaton.vpa.SEVPA
computeOutput, computeSuffixOutput, encodeStackSym, getInitialLocation, getInitialState, getInputAlphabet, getInternalSuccessor, getLocation, getLocationId, getLocations, getNumStackSymbols, getReturnSuccessor, graphView, isAccepting, isAcceptingLocation
-
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
-
-