net.automatalib.automata.vpda

Class DefaultOneSEVPA<I>

java.lang.Object

net.automatalib.automata.vpda.AbstractOneSEVPA<Location,I>

net.automatalib.automata.vpda.DefaultOneSEVPA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterable<Location>, Output<I,Boolean>, SuffixOutput<I,Boolean>, OneSEVPA<Location,I>, Graph<Location,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<Location,I>>, IndefiniteGraph<Location,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<Location,I>>, IndefiniteSimpleGraph<Location>, SimpleGraph<Location>, 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 DefaultOneSEVPA<I>
extends AbstractOneSEVPA<Location,I>

Default implementation for 1-SEVPA.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Field Summary

Fields inherited from class net.automatalib.automata.vpda.AbstractOneSEVPA

alphabet

Constructor Summary

Constructors

Constructor and Description
DefaultOneSEVPA(VPDAlphabet<I> alphabet)
DefaultOneSEVPA(VPDAlphabet<I> alphabet, int capacity)

Method Summary

Modifier and Type	Method and 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()
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() Retrieves the number of nodes of this graph.

Methods inherited from class net.automatalib.automata.vpda.AbstractOneSEVPA

encodeStackSym, encodeStackSym, getAlphabet, getCallSym, getNodes, getNumStackSymbols, getOutgoingEdges, getStackLoc, getTarget, getTransition, getVisualizationHelper

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.vpda.OneSEVPA

computeOutput, computeSuffixOutput, getInitialState, isAccepting

Methods inherited from interface net.automatalib.ts.acceptors.DeterministicAcceptorTS

accepts, isAccepting

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

iterator, nodeIDs, nodesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

DefaultOneSEVPA

public DefaultOneSEVPA(VPDAlphabet<I> alphabet)

DefaultOneSEVPA

public DefaultOneSEVPA(VPDAlphabet<I> alphabet,
                       int capacity)

Method Detail

addInitialLocation

public Location addInitialLocation(boolean accepting)

addLocation

public Location addLocation(boolean accepting)

size

public int size()

Description copied from interface: SimpleGraph

Retrieves the number of nodes of this graph.

Specified by:

size in interface OneSEVPA<Location,I>

Specified by:

size in interface SimpleGraph<Location>

Specified by:

size in class AbstractOneSEVPA<Location,I>

Returns:

the number of nodes of this graph.

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 Location getReturnSuccessor(Location loc,
                                   I retSym,
                                   int stackSym)

isAcceptingLocation

public boolean isAcceptingLocation(Location loc)

getInitialLocation

public Location getInitialLocation()

setInitialLocation

public void setInitialLocation(Location loc)