net.automatalib.util.automata.vpda

Class ProductOneSEVPA<L1,L2,I>

java.lang.Object

net.automatalib.automata.vpda.AbstractOneSEVPA<Pair<L1,L2>,I>

net.automatalib.util.automata.vpda.ProductOneSEVPA<L1,L2,I>

Type Parameters:

L1 - location type of first 1-SEVPA

L2 - location type of second 1-SEVPA

I - input alphabet type

All Implemented Interfaces:

Iterable<Pair<L1,L2>>, Output<I,Boolean>, SuffixOutput<I,Boolean>, OneSEVPA<Pair<L1,L2>,I>, Graph<Pair<L1,L2>,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<Pair<L1,L2>,I>>, IndefiniteGraph<Pair<L1,L2>,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<Pair<L1,L2>,I>>, IndefiniteSimpleGraph<Pair<L1,L2>>, SimpleGraph<Pair<L1,L2>>, AcceptorTS<State<Pair<L1,L2>>,I>, DeterministicAcceptorTS<State<Pair<L1,L2>>,I>, DeterministicTransitionSystem<State<Pair<L1,L2>>,I,State<Pair<L1,L2>>>, SimpleDTS<State<Pair<L1,L2>>,I>, SimpleTS<State<Pair<L1,L2>>,I>, TransitionSystem<State<Pair<L1,L2>>,I,State<Pair<L1,L2>>>, UniversalDTS<State<Pair<L1,L2>>,I,State<Pair<L1,L2>>,Boolean,Void>, UniversalTransitionSystem<State<Pair<L1,L2>>,I,State<Pair<L1,L2>>,Boolean,Void>

public class ProductOneSEVPA<L1,L2,I>
extends AbstractOneSEVPA<Pair<L1,L2>,I>

Production automaton that allows to join two given 1-SEVPAs. Acceptance semantics of the product automaton depends on the given AcceptanceCombiner.

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
ProductOneSEVPA(VPDAlphabet<I> alphabet, OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, AcceptanceCombiner combiner)

Method Summary

Modifier and Type	Method and Description
int	encodeStackSym(Pair<L1,L2> srcLoc, I callSym)
Pair<L1,L2>	getInitialLocation()
@Nullable Pair<L1,L2>	getInternalSuccessor(Pair<L1,L2> loc, I intSym)
Pair<L1,L2>	getLocation(int id)
int	getLocationId(Pair<L1,L2> loc)
List<Pair<L1,L2>>	getLocations()
int	getNumStackSymbols()
@Nullable Pair<L1,L2>	getReturnSuccessor(Pair<L1,L2> loc, I retSym, int stackSym)
boolean	isAcceptingLocation(Pair<L1,L2> loc)
int	size() Retrieves the number of nodes of this graph.

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

encodeStackSym, getAlphabet, getCallSym, getNodes, 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

ProductOneSEVPA

public ProductOneSEVPA(VPDAlphabet<I> alphabet,
                       OneSEVPA<L1,I> sevpa1,
                       OneSEVPA<L2,I> sevpa2,
                       AcceptanceCombiner combiner)

Method Detail

getInternalSuccessor

public @Nullable Pair<L1,L2> getInternalSuccessor(Pair<L1,L2> loc,
                                                  I intSym)

getLocation

public Pair<L1,L2> getLocation(int id)

getLocationId

public int getLocationId(Pair<L1,L2> loc)

getLocations

public List<Pair<L1,L2>> getLocations()

getReturnSuccessor

public @Nullable Pair<L1,L2> getReturnSuccessor(Pair<L1,L2> loc,
                                                I retSym,
                                                int stackSym)

isAcceptingLocation

public boolean isAcceptingLocation(Pair<L1,L2> loc)

getInitialLocation

public Pair<L1,L2> getInitialLocation()

encodeStackSym

public int encodeStackSym(Pair<L1,L2> srcLoc,
                          I callSym)

Specified by:

encodeStackSym in interface OneSEVPA<Pair<L1,L2>,I>

Overrides:

encodeStackSym in class AbstractOneSEVPA<Pair<L1,L2>,I>

getNumStackSymbols

public int getNumStackSymbols()

Specified by:

getNumStackSymbols in interface OneSEVPA<Pair<L1,L2>,I>

Overrides:

getNumStackSymbols in class AbstractOneSEVPA<Pair<L1,L2>,I>

size

public int size()

Description copied from interface: SimpleGraph

Retrieves the number of nodes of this graph.

Specified by:

size in interface OneSEVPA<Pair<L1,L2>,I>

Specified by:

size in interface SimpleGraph<Pair<L1,L2>>

Specified by:

size in class AbstractOneSEVPA<Pair<L1,L2>,I>

Returns:

the number of nodes of this graph.