Module de.learnlib.algorithm.observationpack.vpa

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

Class HypLoc<I>

java.lang.Object

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceProvider<I>

public class HypLoc<I>
extends Object
implements AccessSequenceProvider<I>

Hypothesis location.

Constructor Summary

Constructors

Constructor	Description
HypLoc(net.automatalib.alphabet.VPAlphabet<I> alphabet, int index, boolean accepting, AbstractHypTrans<I> treeIncoming)

Method Summary

Modifier and Type	Method	Description
net.automatalib.word.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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

HypLoc

public HypLoc(net.automatalib.alphabet.VPAlphabet<I> alphabet,
              int index,
              boolean accepting,
              AbstractHypTrans<I> treeIncoming)

Method Detail

updateStackAlphabetSize

public void updateStackAlphabetSize(int newStackAlphaSize)

getLeaf

public DTNode<I> getLeaf()

setLeaf

public void setLeaf(DTNode<I> leaf)

isRoot

public boolean isRoot()

getAccessSequence

public net.automatalib.word.Word<I> getAccessSequence()

Description copied from interface: AccessSequenceProvider

Retrieves the access sequence of this object.

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

Returns:

the access sequence

getIndex

public int getIndex()

isAccepting

public boolean isAccepting()

setAccepting

public void setAccepting(boolean accepting)

getReturnTransition

public HypRetTrans<I> getReturnTransition(int retSymId,
                                          int stackSym)

setReturnTransition

public void setReturnTransition(int retSymId,
                                int stackSym,
                                HypRetTrans<I> trans)

getInternalTransition

public HypIntTrans<I> getInternalTransition(int intSymId)

setInternalTransition

public void setInternalTransition(int intSymId,
                                  HypIntTrans<I> succ)

toString

public String toString()

Overrides:

toString in class Object