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

Class DTree<I>

java.lang.Object

de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterable<DTNode<I>>, FiniteRepresentation, Graph<DTNode<I>,Map.Entry<Boolean,DTNode<I>>>, IndefiniteGraph<DTNode<I>,Map.Entry<Boolean,DTNode<I>>>, IndefiniteSimpleGraph<DTNode<I>>, SimpleGraph<DTNode<I>>

public class DTree<I>
extends AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>>

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
DTree(MembershipOracle<I,Boolean> oracle)

Method Summary

Modifier and Type	Method	Description
protected DefaultQuery<I,Boolean>	buildQuery(DTNode<I> node, Word<I> prefix)
DTNode<I>	sift(DTNode<I> start, Word<I> prefix)
DTNode<I>	sift(DTNode<I> start, Word<I> as, boolean hard)
List<DTNode<I>>	sift(List<DTNode<I>> starts, List<Word<I>> prefixes)
List<DTNode<I>>	sift(List<DTNode<I>> starts, List<Word<I>> prefixes, boolean hard)

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

getNodes, getOutgoingEdges, getRoot, getTarget, getVisualizationHelper, 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.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

DTree

public DTree(MembershipOracle<I,Boolean> oracle)

Method Detail

sift

public DTNode<I> sift(DTNode<I> start,
                      Word<I> prefix)

Overrides:

sift in class AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>>

sift

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

Overrides:

sift in class AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>>

sift

public DTNode<I> sift(DTNode<I> start,
                      Word<I> as,
                      boolean hard)

sift

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

buildQuery

protected DefaultQuery<I,Boolean> buildQuery(DTNode<I> node,
                                                   Word<I> prefix)

Specified by:

buildQuery in class AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>>