Class OneSEVPAHypothesis<I>
- java.lang.Object
-
- net.automatalib.automaton.vpa.AbstractSEVPA<HypLoc<I>,I>
-
- de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,SuffixOutput<I,Boolean>
,OneSEVPA<HypLoc<I>,I>
,SEVPA<HypLoc<I>,I>
,GraphViewable
,AcceptorTS<State<HypLoc<I>>,I>
,DeterministicAcceptorTS<State<HypLoc<I>>,I>
,DeterministicTransitionSystem<State<HypLoc<I>>,I,State<HypLoc<I>>>
,SimpleDTS<State<HypLoc<I>>,I>
,SimpleTS<State<HypLoc<I>>,I>
,TransitionSystem<State<HypLoc<I>>,I,State<HypLoc<I>>>
,UniversalDTS<State<HypLoc<I>>,I,State<HypLoc<I>>,Boolean,Void>
,UniversalTransitionSystem<State<HypLoc<I>>,I,State<HypLoc<I>>,Boolean,Void>
public class OneSEVPAHypothesis<I> extends AbstractSEVPA<HypLoc<I>,I> implements OneSEVPA<HypLoc<I>,I>
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.vpa.AbstractSEVPA
alphabet
-
-
Constructor Summary
Constructors Constructor Description OneSEVPAHypothesis(VPAlphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods 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(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.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, 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, encodeStackSym, getInitialState, getInputAlphabet, getNumStackSymbols, 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
-
OneSEVPAHypothesis
public OneSEVPAHypothesis(VPAlphabet<I> alphabet)
-
-
Method Detail
-
getInternalTransition
public @Nullable AbstractHypTrans<I> getInternalTransition(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)
-
getInternalSuccessor
public HypLoc<I> getInternalSuccessor(HypLoc<I> loc, I intSym)
- Specified by:
getInternalSuccessor
in interfaceSEVPA<HypLoc<I>,I>
-
getLocation
public HypLoc<I> getLocation(int id)
- Specified by:
getLocation
in interfaceSEVPA<HypLoc<I>,I>
-
getLocationId
public int getLocationId(HypLoc<I> loc)
- Specified by:
getLocationId
in interfaceSEVPA<HypLoc<I>,I>
-
getLocations
public List<HypLoc<I>> getLocations()
- Specified by:
getLocations
in interfaceSEVPA<HypLoc<I>,I>
-
getReturnSuccessor
public HypLoc<I> getReturnSuccessor(HypLoc<I> loc, I retSym, int stackSym)
- Specified by:
getReturnSuccessor
in interfaceSEVPA<HypLoc<I>,I>
-
isAcceptingLocation
public boolean isAcceptingLocation(HypLoc<I> loc)
- Specified by:
isAcceptingLocation
in interfaceSEVPA<HypLoc<I>,I>
-
getInitialLocation
public HypLoc<I> getInitialLocation()
- Specified by:
getInitialLocation
in interfaceSEVPA<HypLoc<I>,I>
-
size
public int size()
- Specified by:
size
in interfaceFiniteRepresentation
-
-