AbstractSEVPA (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.automaton.vpa.AbstractSEVPA<L,I>

Type Parameters:

L - location type

I - input alphabet type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SEVPA<L,I>, GraphViewable, AcceptorTS<State<L>,I>, DeterministicAcceptorTS<State<L>,I>, DeterministicTransitionSystem<State<L>,I,State<L>>, SimpleDTS<State<L>,I>, SimpleTS<State<L>,I>, TransitionSystem<State<L>,I,State<L>>, UniversalDTS<State<L>,I,State<L>,Boolean,Void>, UniversalTransitionSystem<State<L>,I,State<L>,Boolean,Void>

Direct Known Subclasses:

AbstractDefaultSEVPA, ProductOneSEVPA
```
public abstract class AbstractSEVPA<L,I>
extends Object
implements SEVPA<L,I>
```
Abstract class for k-SEVPAs that implements functionality shared across different subtypes.

Field Summary

Fields
Modifier and Type Field Description

protected VPAlphabet<I> alphabet

Constructor Summary

Constructors
Constructor Description

AbstractSEVPA(VPAlphabet<I> alphabet)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`encodeStackSym(L srcLoc, int callSymIdx)`
`int`	`encodeStackSym(L srcLoc, I callSym)`
`I`	`getCallSym(int stackSym)`
`VPAlphabet<I>`	`getInputAlphabet()`
`int`	`getNumStackSymbols()`
`L`	`getStackLoc(int stackSym)`
`@Nullable State<L>`	`getTransition(State<L> state, I input)`	Retrieves the transition triggered by the given input symbol.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size

Methods inherited from interface net.automatalib.automaton.vpa.SEVPA
computeOutput, computeSuffixOutput, getInitialLocation, getInitialState, getInternalSuccessor, getLocation, getLocationId, getLocations, getModuleEntry, 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

- Field Detail
  - alphabet
```
protected final VPAlphabet<I> alphabet
```
- Constructor Detail
  - AbstractSEVPA
```
public AbstractSEVPA(VPAlphabet<I> alphabet)
```
- Method Detail
  - getInputAlphabet
```
public VPAlphabet<I> getInputAlphabet()
```
    Specified by:
    
    getInputAlphabet in interface InputAlphabetHolder<L>
    
    Specified by:
    
    getInputAlphabet in interface SEVPA<L,I>
  - getTransition
```
public @Nullable State<L> getTransition(State<L> state,
                                        I input)
```
    Description copied from interface: DeterministicTransitionSystem
    
    Retrieves the transition triggered by the given input symbol.
    
    Specified by:
    
    getTransition in interface DeterministicTransitionSystem<State<L>,I,State<L>>
    
    Parameters:
    
    state - the source state.
    
    input - the input symbol.
    
    Returns:
    
    the transition triggered by the given input symbol, or null if no transition is triggered.
    
    See Also:
    
    TransitionSystem.getTransitions(Object, Object)
  - encodeStackSym
```
public int encodeStackSym(L srcLoc,
                          I callSym)
```
    Specified by:
    
    encodeStackSym in interface SEVPA<L,I>
  - encodeStackSym
```
public int encodeStackSym(L srcLoc,
                          int callSymIdx)
```
  - getNumStackSymbols
```
public int getNumStackSymbols()
```
    Specified by:
    
    getNumStackSymbols in interface SEVPA<L,I>
  - getStackLoc
```
public L getStackLoc(int stackSym)
```
  - getCallSym
```
public I getCallSym(int stackSym)
```