Package net.automatalib.automaton.vpa

Class DefaultNSEVPA<I>

java.lang.Object

net.automatalib.automaton.vpa.AbstractSEVPA<Location,I>

net.automatalib.automaton.vpa.AbstractDefaultSEVPA<I>

net.automatalib.automaton.vpa.DefaultNSEVPA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

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

public class DefaultNSEVPA<I>
extends AbstractDefaultSEVPA<I>

Default implementation for n-SEVPAs.

Field Summary

Fields inherited from class net.automatalib.automaton.vpa.AbstractDefaultSEVPA

DEFAULT_SIZE

Fields inherited from class net.automatalib.automaton.vpa.AbstractSEVPA

alphabet

Constructor Summary

Constructors

Constructor	Description
DefaultNSEVPA(VPAlphabet<I> alphabet)
DefaultNSEVPA(VPAlphabet<I> alphabet, int capacityHint)

Method Summary

Modifier and Type	Method	Description
Location	addLocation(boolean accepting)
Location	addLocation(I module, boolean accepting)
Location	addModuleEntryLocation(I callSym, boolean accepting)
Location	getModuleEntry(I callSym)
void	setInternalSuccessor(Location loc, I intSym, Location succ)
void	setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)

Methods inherited from class net.automatalib.automaton.vpa.AbstractDefaultSEVPA

addInitialLocation, getInitialLocation, getInternalSuccessor, getLocation, getLocationId, getLocations, getReturnSuccessor, isAcceptingLocation, setInitialLocation, size

Methods inherited from class net.automatalib.automaton.vpa.AbstractSEVPA

encodeStackSym, encodeStackSym, getCallSym, getInputAlphabet, getNumStackSymbols, getStackLoc, getTransition

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.vpa.SEVPA

computeOutput, computeSuffixOutput, getInitialState, graphView, isAccepting

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

Constructor Detail

DefaultNSEVPA

public DefaultNSEVPA(VPAlphabet<I> alphabet)

DefaultNSEVPA

public DefaultNSEVPA(VPAlphabet<I> alphabet,
                     int capacityHint)

Method Detail

addLocation

public Location addLocation(boolean accepting)

Overrides:

addLocation in class AbstractDefaultSEVPA<I>

addLocation

public Location addLocation(I module,
                            boolean accepting)

addModuleEntryLocation

public Location addModuleEntryLocation(I callSym,
                                       boolean accepting)

setInternalSuccessor

public void setInternalSuccessor(Location loc,
                                 I intSym,
                                 Location succ)

Overrides:

setInternalSuccessor in class AbstractDefaultSEVPA<I>

setReturnSuccessor

public void setReturnSuccessor(Location loc,
                               I retSym,
                               int stackSym,
                               Location succ)

Overrides:

setReturnSuccessor in class AbstractDefaultSEVPA<I>

getModuleEntry

public Location getModuleEntry(I callSym)