I
- input symbol typepublic class OneSEVPAHypothesis<I> extends net.automatalib.automata.vpda.AbstractOneSEVPA<HypLoc<I>,I>
Constructor and Description |
---|
OneSEVPAHypothesis(net.automatalib.words.VPDAlphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
HypLoc<I> |
createLocation(boolean accepting,
AbstractHypTrans<I> treeIncoming) |
HypLoc<I> |
createLocation(boolean accepting,
net.automatalib.words.Word<I> aseq) |
HypLoc<I> |
getInitialLocation() |
HypLoc<I> |
getInternalSuccessor(HypLoc<I> loc,
I intSym) |
AbstractHypTrans<I> |
getInternalTransition(HypLoc<I> loc,
I intSym) |
AbstractHypTrans<I> |
getInternalTransition(net.automatalib.automata.vpda.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,
HypLoc<I> stackLoc,
I callSym) |
AbstractHypTrans<I> |
getReturnTransition(HypLoc<I> loc,
I retSym,
int stackSym) |
HypLoc<I> |
initialize() |
boolean |
isAcceptingLocation(HypLoc<I> loc) |
int |
size() |
encodeStackSym, encodeStackSym, getAlphabet, getCallSym, getNodes, getNumStackSymbols, getOutgoingEdges, getStackLoc, getTarget, getTransition, getVisualizationHelper
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
computeOutput, computeSuffixOutput, getInitialState, isAccepting
accepts, isAccepting
getStateProperty, getSuccessor, getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
public OneSEVPAHypothesis(net.automatalib.words.VPDAlphabet<I> alphabet)
public AbstractHypTrans<I> getInternalTransition(net.automatalib.automata.vpda.State<HypLoc<I>> state, I sym)
public AbstractHypTrans<I> getInternalTransition(HypLoc<I> loc, I intSym)
public AbstractHypTrans<I> getReturnTransition(HypLoc<I> loc, I retSym, int stackSym)
public AbstractHypTrans<I> getReturnTransition(HypLoc<I> loc, I retSym, HypLoc<I> stackLoc, I callSym)
public HypLoc<I> createLocation(boolean accepting, net.automatalib.words.Word<I> aseq)
public HypLoc<I> createLocation(boolean accepting, AbstractHypTrans<I> treeIncoming)
Copyright © 2018. All rights reserved.