de.learnlib.algorithms.ttt.base

Class BaseTTTDiscriminationTree<I,D>

java.lang.Object

de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

de.learnlib.algorithms.ttt.base.BaseTTTDiscriminationTree<I,D>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Serializable, Iterable<AbstractBaseDTNode<I,D>>, Graph<AbstractBaseDTNode<I,D>,Map.Entry<D,AbstractBaseDTNode<I,D>>>, IndefiniteGraph<AbstractBaseDTNode<I,D>,Map.Entry<D,AbstractBaseDTNode<I,D>>>, IndefiniteSimpleGraph<AbstractBaseDTNode<I,D>>, SimpleGraph<AbstractBaseDTNode<I,D>>

public class BaseTTTDiscriminationTree<I,D>
extends AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

The discrimination tree data structure.

Author:

Malte Isberner

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Field Summary

Fields inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree

oracle, root

Constructor Summary

Constructors

Constructor and Description
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle, AbstractBaseDTNode<I,D> root)
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle, Supplier<? extends AbstractBaseDTNode<I,D>> supplier)

Method Summary

Modifier and Type	Method and Description
protected DefaultQuery<I,D>	buildQuery(AbstractBaseDTNode<I,D> node, Word<I> prefix)
VisualizationHelper<AbstractBaseDTNode<I,D>,Map.Entry<D,AbstractBaseDTNode<I,D>>>	getVisualizationHelper()
AbstractBaseDTNode<I,D>	sift(AbstractBaseDTNode<I,D> start, Word<I> prefix)
AbstractBaseDTNode<I,D>	sift(AbstractBaseDTNode<I,D> start, Word<I> prefix, boolean hard)
List<AbstractBaseDTNode<I,D>>	sift(List<AbstractBaseDTNode<I,D>> starts, List<Word<I>> prefixes)
List<AbstractBaseDTNode<I,D>>	sift(List<AbstractBaseDTNode<I,D>> starts, List<Word<I>> prefixes, boolean hard)
AbstractBaseDTNode<I,D>	sift(Word<I> word, boolean hard) Sifts an access sequence provided by an object into the tree, starting at the root.

Methods inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree

getNodes, getOutgoingEdges, getRoot, getTarget, lcaInfo, leastCommonAncestor, setOracle, sift, sift, sift

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

iterator, nodeIDs, nodesStream, size

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BaseTTTDiscriminationTree

public BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle,
                                 Supplier<? extends AbstractBaseDTNode<I,D>> supplier)

BaseTTTDiscriminationTree

public BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle,
                                 AbstractBaseDTNode<I,D> root)

Method Detail

sift

public AbstractBaseDTNode<I,D> sift(Word<I> word,
                                    boolean hard)

Sifts an access sequence provided by an object into the tree, starting at the root. This can either be a "soft" sift, which stops either at the leaf or at the first temporary node, or a "hard" sift, stopping only at a leaf.

Parameters:

word - the object providing the access sequence

hard - flag, whether this should be a soft or a hard sift

Returns:

the leaf resulting from the sift operation

sift

public AbstractBaseDTNode<I,D> sift(AbstractBaseDTNode<I,D> start,
                                    Word<I> prefix,
                                    boolean hard)

sift

public List<AbstractBaseDTNode<I,D>> sift(List<AbstractBaseDTNode<I,D>> starts,
                                          List<Word<I>> prefixes,
                                          boolean hard)

sift

public AbstractBaseDTNode<I,D> sift(AbstractBaseDTNode<I,D> start,
                                    Word<I> prefix)

Overrides:

sift in class AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

sift

public List<AbstractBaseDTNode<I,D>> sift(List<AbstractBaseDTNode<I,D>> starts,
                                          List<Word<I>> prefixes)

Overrides:

sift in class AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

buildQuery

protected DefaultQuery<I,D> buildQuery(AbstractBaseDTNode<I,D> node,
                                       Word<I> prefix)

Specified by:

buildQuery in class AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

getVisualizationHelper

public VisualizationHelper<AbstractBaseDTNode<I,D>,Map.Entry<D,AbstractBaseDTNode<I,D>>> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface Graph<AbstractBaseDTNode<I,D>,Map.Entry<D,AbstractBaseDTNode<I,D>>>

Specified by:

getVisualizationHelper in interface SimpleGraph<AbstractBaseDTNode<I,D>>

Overrides:

getVisualizationHelper in class AbstractDiscriminationTree<Word<I>,I,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>