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-SEVPAL2
- location type of second 1-SEVPAI
- 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 givenOneSEVPA
s. Acceptance semantics of the product automaton depends on the givenAcceptanceCombiner
.
-
-
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
All Methods Instance Methods Concrete Methods 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()
Returns the number of entities required to represent this system.-
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 interfaceSEVPA<L1,L2>
-
getLocation
public Pair<L1,L2> getLocation(int id)
- Specified by:
getLocation
in interfaceSEVPA<L1,L2>
-
getLocationId
public int getLocationId(Pair<L1,L2> loc)
- Specified by:
getLocationId
in interfaceSEVPA<L1,L2>
-
getLocations
public List<Pair<L1,L2>> getLocations()
- Specified by:
getLocations
in interfaceSEVPA<L1,L2>
-
getReturnSuccessor
public @Nullable Pair<L1,L2> getReturnSuccessor(Pair<L1,L2> loc, I retSym, int stackSym)
- Specified by:
getReturnSuccessor
in interfaceSEVPA<L1,L2>
-
isAcceptingLocation
public boolean isAcceptingLocation(Pair<L1,L2> loc)
- Specified by:
isAcceptingLocation
in interfaceSEVPA<L1,L2>
-
getInitialLocation
public Pair<L1,L2> getInitialLocation()
- Specified by:
getInitialLocation
in interfaceSEVPA<L1,L2>
-
encodeStackSym
public int encodeStackSym(Pair<L1,L2> srcLoc, I callSym)
- Specified by:
encodeStackSym
in interfaceSEVPA<L1,L2>
- Overrides:
encodeStackSym
in classAbstractSEVPA<Pair<L1,L2>,I>
-
getNumStackSymbols
public int getNumStackSymbols()
- Specified by:
getNumStackSymbols
in interfaceSEVPA<L1,L2>
- Overrides:
getNumStackSymbols
in classAbstractSEVPA<Pair<L1,L2>,I>
-
size
public int size()
Description copied from interface:FiniteRepresentation
Returns the number of entities required to represent this system.- Specified by:
size
in interfaceFiniteRepresentation
- Returns:
- the number of entities required to represent this system
-
-