I
- input symbol typepublic class HypLoc<I> extends Object implements AccessSequenceProvider<I>
Constructor and Description |
---|
HypLoc(net.automatalib.words.VPDAlphabet<I> alphabet,
int index,
boolean accepting,
AbstractHypTrans<I> treeIncoming) |
HypLoc(net.automatalib.words.VPDAlphabet<I> alphabet,
int index,
boolean accepting,
net.automatalib.words.Word<I> aseq) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.words.Word<I> |
getAccessSequence()
Retrieves the access sequence of this object.
|
int |
getIndex() |
HypIntTrans<I> |
getInternalTransition(int intSymId) |
DTNode<I> |
getLeaf() |
HypRetTrans<I> |
getReturnTransition(int retSymId,
int stackSym) |
boolean |
isAccepting() |
boolean |
isRoot() |
void |
setAccepting(boolean accepting) |
void |
setInternalTransition(int intSymId,
HypIntTrans<I> succ) |
void |
setLeaf(DTNode<I> leaf) |
void |
setReturnTransition(int retSymId,
int stackSym,
HypRetTrans<I> trans) |
String |
toString() |
void |
updateStackAlphabetSize(int newStackAlphaSize) |
public HypLoc(net.automatalib.words.VPDAlphabet<I> alphabet, int index, boolean accepting, AbstractHypTrans<I> treeIncoming)
public void updateStackAlphabetSize(int newStackAlphaSize)
public boolean isRoot()
public net.automatalib.words.Word<I> getAccessSequence()
AccessSequenceProvider
getAccessSequence
in interface AccessSequenceProvider<I>
public int getIndex()
public boolean isAccepting()
public void setAccepting(boolean accepting)
public HypRetTrans<I> getReturnTransition(int retSymId, int stackSym)
public void setReturnTransition(int retSymId, int stackSym, HypRetTrans<I> trans)
public HypIntTrans<I> getInternalTransition(int intSymId)
public void setInternalTransition(int intSymId, HypIntTrans<I> succ)
Copyright © 2018. All rights reserved.