Module de.learnlib.algorithm.observationpack.vpa

Package de.learnlib.algorithm.observationpack.vpa.hypothesis

Class OneSEVPAHypothesis<I>

java.lang.Object

net.automatalib.automaton.vpa.impl.AbstractSEVPA<HypLoc<I>,I>

de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.automaton.concept.InputAlphabetHolder<I>, net.automatalib.automaton.concept.Output<I,Boolean>, net.automatalib.automaton.concept.SuffixOutput<I,Boolean>, net.automatalib.automaton.vpa.OneSEVPA<HypLoc<I>,I>, net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>, net.automatalib.graph.concept.GraphViewable, net.automatalib.ts.acceptor.AcceptorTS<net.automatalib.automaton.vpa.State<HypLoc<I>>,I>, net.automatalib.ts.acceptor.DeterministicAcceptorTS<net.automatalib.automaton.vpa.State<HypLoc<I>>,I>, net.automatalib.ts.DeterministicTransitionSystem<net.automatalib.automaton.vpa.State<HypLoc<I>>,I,net.automatalib.automaton.vpa.State<HypLoc<I>>>, net.automatalib.ts.simple.SimpleDTS<net.automatalib.automaton.vpa.State<HypLoc<I>>,I>, net.automatalib.ts.simple.SimpleTS<net.automatalib.automaton.vpa.State<HypLoc<I>>,I>, net.automatalib.ts.TransitionSystem<net.automatalib.automaton.vpa.State<HypLoc<I>>,I,net.automatalib.automaton.vpa.State<HypLoc<I>>>, net.automatalib.ts.UniversalDTS<net.automatalib.automaton.vpa.State<HypLoc<I>>,I,net.automatalib.automaton.vpa.State<HypLoc<I>>,Boolean,Void>, net.automatalib.ts.UniversalTransitionSystem<net.automatalib.automaton.vpa.State<HypLoc<I>>,I,net.automatalib.automaton.vpa.State<HypLoc<I>>,Boolean,Void>

public class OneSEVPAHypothesis<I>
extends net.automatalib.automaton.vpa.impl.AbstractSEVPA<HypLoc<I>,I>
implements net.automatalib.automaton.vpa.OneSEVPA<HypLoc<I>,I>

Hypothesis model.

Field Summary

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

alphabet

Constructor Summary

Constructors

Constructor	Description
OneSEVPAHypothesis(net.automatalib.alphabet.VPAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
HypLoc<I>	createLocation(boolean accepting, AbstractHypTrans<I> treeIncoming)
HypLoc<I>	getInitialLocation()
HypLoc<I>	getInternalSuccessor(HypLoc<I> loc, I intSym)
AbstractHypTrans<I>	getInternalTransition(HypLoc<I> loc, I intSym)
@Nullable AbstractHypTrans<I>	getInternalTransition(net.automatalib.automaton.vpa.State<HypLoc<I>> state, I sym)
HypLoc<I>	getLocation(int id)
int	getLocationId(HypLoc<I> loc)
List<HypLoc<I>>	getLocations()
HypLoc<I>	getReturnSuccessor(HypLoc<I> loc, I retSym, int stackSym)
AbstractHypTrans<I>	getReturnTransition(HypLoc<I> loc, I retSym, int stackSym)
AbstractHypTrans<I>	getReturnTransition(HypLoc<I> loc, I retSym, HypLoc<I> stackLoc, I callSym)
HypLoc<I>	initialize()
boolean	isAcceptingLocation(HypLoc<I> loc)
int	size()

Methods inherited from class net.automatalib.automaton.vpa.impl.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, computeOutput, computeSuffixOutput, isAccepting, powersetView

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

encodeStackSym, getInitialState, getInputAlphabet, getNumStackSymbols, graphView, isAccepting

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

getInitialStates, getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

OneSEVPAHypothesis

public OneSEVPAHypothesis(net.automatalib.alphabet.VPAlphabet<I> alphabet)

Method Detail

getInternalTransition

public @Nullable AbstractHypTrans<I> getInternalTransition(net.automatalib.automaton.vpa.State<HypLoc<I>> state,
                                                           I sym)

getInternalTransition

public AbstractHypTrans<I> getInternalTransition(HypLoc<I> loc,
                                                 I intSym)

getReturnTransition

public AbstractHypTrans<I> getReturnTransition(HypLoc<I> loc,
                                               I retSym,
                                               int stackSym)

getReturnTransition

public AbstractHypTrans<I> getReturnTransition(HypLoc<I> loc,
                                               I retSym,
                                               HypLoc<I> stackLoc,
                                               I callSym)

createLocation

public HypLoc<I> createLocation(boolean accepting,
                                AbstractHypTrans<I> treeIncoming)

initialize

public HypLoc<I> initialize()

getInternalSuccessor

public HypLoc<I> getInternalSuccessor(HypLoc<I> loc,
                                      I intSym)

Specified by:

getInternalSuccessor in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

getLocation

public HypLoc<I> getLocation(int id)

Specified by:

getLocation in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

getLocationId

public int getLocationId(HypLoc<I> loc)

Specified by:

getLocationId in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

getLocations

public List<HypLoc<I>> getLocations()

Specified by:

getLocations in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

getReturnSuccessor

public HypLoc<I> getReturnSuccessor(HypLoc<I> loc,
                                    I retSym,
                                    int stackSym)

Specified by:

getReturnSuccessor in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

isAcceptingLocation

public boolean isAcceptingLocation(HypLoc<I> loc)

Specified by:

isAcceptingLocation in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

getInitialLocation

public HypLoc<I> getInitialLocation()

Specified by:

getInitialLocation in interface net.automatalib.automaton.vpa.SEVPA<HypLoc<I>,I>

size

public int size()

Specified by:

size in interface net.automatalib.automaton.concept.FiniteRepresentation