Class AbstractWordBasedDiscriminationTree<I,O,D>
- java.lang.Object
-
- de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree<Word<I>,I,O,D,AbstractWordBasedDTNode<I,O,D>>
-
- de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree<I,O,D>
-
- Type Parameters:
I
- input symbol typeO
- output symbol typeD
- node data type
- All Implemented Interfaces:
Iterable<AbstractWordBasedDTNode<I,O,D>>
,FiniteRepresentation
,Graph<AbstractWordBasedDTNode<I,O,D>,Map.Entry<O,AbstractWordBasedDTNode<I,O,D>>>
,IndefiniteGraph<AbstractWordBasedDTNode<I,O,D>,Map.Entry<O,AbstractWordBasedDTNode<I,O,D>>>
,IndefiniteSimpleGraph<AbstractWordBasedDTNode<I,O,D>>
,SimpleGraph<AbstractWordBasedDTNode<I,O,D>>
- Direct Known Subclasses:
BinaryDTree
,MultiDTree
public abstract class AbstractWordBasedDiscriminationTree<I,O,D> extends AbstractDiscriminationTree<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
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected DefaultQuery<I,O>
buildQuery(AbstractWordBasedDTNode<I,O,D> node, 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
createDynamicNodeMapping, createStaticNodeMapping, isConnected
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.graph.SimpleGraph
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, Word<I> prefix)
- Specified by:
buildQuery
in classAbstractDiscriminationTree<Word<I>,I,O,D,AbstractWordBasedDTNode<I,O,D>>
-
-