Package net.automatalib.util.automaton.vpa

Class ProductOneSEVPA<L1,L2,I>

java.lang.Object

net.automatalib.automaton.vpa.AbstractSEVPA<Pair<L1,L2>,I>

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

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, OneSEVPA<Pair<L1,L2>,I>, SEVPA<Pair<L1,L2>,I>, GraphViewable, 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 AbstractSEVPA<Pair<L1,L2>,I>
implements OneSEVPA<Pair<L1,L2>,I>

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

Field Summary

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

alphabet

Constructor Summary

Constructors

Constructor	Description
ProductOneSEVPA(VPAlphabet<I> alphabet, OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, AcceptanceCombiner combiner)

Method Summary

Modifier and Type	Method	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()

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

encodeStackSym, getCallSym, getInputAlphabet, 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, getTransition, getTransitions

Methods inherited from interface net.automatalib.automaton.vpa.OneSEVPA

getModuleEntry

Methods inherited from interface net.automatalib.automaton.vpa.SEVPA

computeOutput, computeSuffixOutput, getInitialState, getInputAlphabet, 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

ProductOneSEVPA

public ProductOneSEVPA(VPAlphabet<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)

Specified by:

getInternalSuccessor in interface SEVPA<L1,L2>

getLocation

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

Specified by:

getLocation in interface SEVPA<L1,L2>

getLocationId

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

Specified by:

getLocationId in interface SEVPA<L1,L2>

getLocations

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

Specified by:

getLocations in interface SEVPA<L1,L2>

getReturnSuccessor

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

Specified by:

getReturnSuccessor in interface SEVPA<L1,L2>

isAcceptingLocation

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

Specified by:

isAcceptingLocation in interface SEVPA<L1,L2>

getInitialLocation

public Pair<L1,L2> getInitialLocation()

Specified by:

getInitialLocation in interface SEVPA<L1,L2>

encodeStackSym

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

Specified by:

encodeStackSym in interface SEVPA<L1,L2>

Overrides:

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

getNumStackSymbols

public int getNumStackSymbols()

Specified by:

getNumStackSymbols in interface SEVPA<L1,L2>

Overrides:

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

size

public int size()

Specified by:

size in interface FiniteRepresentation