Module de.learnlib.datastructure

Package de.learnlib.datastructure.discriminationtree.model

Class AbstractWordBasedDiscriminationTree<I,O,D>

java.lang.Object

de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree<net.automatalib.word.Word<I>,I,O,D,AbstractWordBasedDTNode<I,O,D>>

de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree<I,O,D>

Type Parameters:

I - input symbol type

O - output symbol type

D - node data type

All Implemented Interfaces:

Iterable<AbstractWordBasedDTNode<I,O,D>>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.graph.Graph<AbstractWordBasedDTNode<I,O,D>,Map.Entry<O,AbstractWordBasedDTNode<I,O,D>>>, net.automatalib.graph.IndefiniteGraph<AbstractWordBasedDTNode<I,O,D>,Map.Entry<O,AbstractWordBasedDTNode<I,O,D>>>, net.automatalib.graph.IndefiniteSimpleGraph<AbstractWordBasedDTNode<I,O,D>>, net.automatalib.graph.SimpleGraph<AbstractWordBasedDTNode<I,O,D>>

Direct Known Subclasses:

BinaryDTree, MultiDTree

public abstract class AbstractWordBasedDiscriminationTree<I,O,D>
extends AbstractDiscriminationTree<net.automatalib.word.Word<I>,I,O,D,AbstractWordBasedDTNode<I,O,D>>

Convenient class for word-based discrimination trees that already binds certain generics.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

net.automatalib.graph.Graph.IntAbstraction<E extends Object>

Field Summary

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

oracle

Constructor Summary

Constructors

Constructor	Description
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I,O,D> root, MembershipOracle<I,O> oracle)

Method Summary

Modifier and Type	Method	Description
protected DefaultQuery<I,O>	buildQuery(AbstractWordBasedDTNode<I,O,D> node, net.automatalib.word.Word<I> prefix)

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

getNodes, getOutgoingEdges, getRoot, getTarget, getVisualizationHelper, lcaInfo, leastCommonAncestor, setOracle, sift, sift, 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.graph.Graph

getAdjacentNodes, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.SimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, iterator, nodeIDs, size

Constructor Detail

AbstractWordBasedDiscriminationTree

public AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I,O,D> root,
                                           MembershipOracle<I,O> oracle)

Method Detail

buildQuery

protected DefaultQuery<I,O> buildQuery(AbstractWordBasedDTNode<I,O,D> node,
                                             net.automatalib.word.Word<I> prefix)

Specified by:

buildQuery in class AbstractDiscriminationTree<net.automatalib.word.Word<I>,I,O,D,AbstractWordBasedDTNode<I,O,D>>