OneSEVPA (AutomataLib :: API 0.11.0 API)

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>, 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>
```
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

- Method Detail
  - getModuleEntry
```
default L getModuleEntry(I callSym)
```
    Specified by:
    
    getModuleEntry in interface SEVPA<L,I>