Class BinaryDTree<I,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,Boolean,D>
-
- de.learnlib.datastructure.discriminationtree.BinaryDTree<I,D>
-
- Type Parameters:
I
- input symbol typeD
- node data type
- All Implemented Interfaces:
Iterable<AbstractWordBasedDTNode<I,Boolean,D>>
,FiniteRepresentation
,Graph<AbstractWordBasedDTNode<I,Boolean,D>,Map.Entry<Boolean,AbstractWordBasedDTNode<I,Boolean,D>>>
,IndefiniteGraph<AbstractWordBasedDTNode<I,Boolean,D>,Map.Entry<Boolean,AbstractWordBasedDTNode<I,Boolean,D>>>
,IndefiniteSimpleGraph<AbstractWordBasedDTNode<I,Boolean,D>>
,SimpleGraph<AbstractWordBasedDTNode<I,Boolean,D>>
public class BinaryDTree<I,D> extends AbstractWordBasedDiscriminationTree<I,Boolean,D>
Binary discrimination tree specialization.
-
-
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 BinaryDTree(MembershipOracle<I,Boolean> oracle)
BinaryDTree(MembershipOracle<I,Boolean> oracle, boolean epsilonRoot)
BinaryDTree(D rootData, MembershipOracle<I,Boolean> oracle)
-
Method Summary
-
Methods inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractWordBasedDiscriminationTree
buildQuery
-
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
-
BinaryDTree
public BinaryDTree(MembershipOracle<I,Boolean> oracle)
-
BinaryDTree
public BinaryDTree(MembershipOracle<I,Boolean> oracle, boolean epsilonRoot)
-
BinaryDTree
public BinaryDTree(D rootData, MembershipOracle<I,Boolean> oracle)
-
-