de.learnlib.algorithms.discriminationtree.hypothesis.vpda

Class DTree<I>

java.lang.Object

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

de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Serializable, Iterable<DTNode<I>>, 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>>

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

Method Summary

Modifier and Type	Method and 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.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

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>>