Package net.automatalib.automaton.vpa

Class AbstractDefaultSEVPA<I>

java.lang.Object

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

net.automatalib.automaton.vpa.AbstractDefaultSEVPA<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>

Direct Known Subclasses:

DefaultNSEVPA, DefaultOneSEVPA

public abstract class AbstractDefaultSEVPA<I>
extends AbstractSEVPA<Location,I>

Basic functionality for Location-based SEVPA implementations.

Field Summary

Fields

Modifier and Type	Field	Description
protected static int	DEFAULT_SIZE

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

alphabet

Constructor Summary

Constructors

Constructor	Description
AbstractDefaultSEVPA(VPAlphabet<I> alphabet, int capacity)

Method Summary

Modifier and Type	Method	Description
Location	addInitialLocation(boolean accepting)
Location	addLocation(boolean accepting)
Location	getInitialLocation()
Location	getInternalSuccessor(Location loc, I intSym)
Location	getLocation(int id)
int	getLocationId(Location loc)
List<Location>	getLocations()
@Nullable Location	getReturnSuccessor(Location loc, I retSym, int stackSym)
boolean	isAcceptingLocation(Location loc)
void	setInitialLocation(Location loc)
void	setInternalSuccessor(Location loc, I intSym, Location succ)
void	setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)
int	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, getModuleEntry, 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

Field Detail

DEFAULT_SIZE

protected static final int DEFAULT_SIZE

See Also:

Constant Field Values

Constructor Detail

AbstractDefaultSEVPA

public AbstractDefaultSEVPA(VPAlphabet<I> alphabet,
                            int capacity)

Method Detail

addInitialLocation

public Location addInitialLocation(boolean accepting)

addLocation

public Location addLocation(boolean accepting)

size

public int size()

setInternalSuccessor

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

setReturnSuccessor

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

getInternalSuccessor

public Location getInternalSuccessor(Location loc,
                                     I intSym)

getLocation

public Location getLocation(int id)

getLocationId

public int getLocationId(Location loc)

getLocations

public List<Location> getLocations()

getReturnSuccessor

public @Nullable Location getReturnSuccessor(Location loc,
                                             I retSym,
                                             int stackSym)

isAcceptingLocation

public boolean isAcceptingLocation(Location loc)

getInitialLocation

public Location getInitialLocation()

setInitialLocation

public void setInitialLocation(Location loc)