de.learnlib.datastructure.discriminationtree.model

Class AbstractDiscriminationTree<DSCR,I,O,D,N extends AbstractDTNode<DSCR,O,D,N>>

java.lang.Object

de.learnlib.datastructure.discriminationtree.model.AbstractDiscriminationTree<DSCR,I,O,D,N>

Type Parameters:

DSCR - type of discrimantor

I - input symbol type

O - output symbol type

D - data symbol type

N - node type

All Implemented Interfaces:

Serializable, Iterable<N>, net.automatalib.graphs.Graph<N,Map.Entry<O,N>>, net.automatalib.graphs.IndefiniteGraph<N,Map.Entry<O,N>>, net.automatalib.graphs.IndefiniteSimpleGraph<N>, net.automatalib.graphs.SimpleGraph<N>

Direct Known Subclasses:

AbstractWordBasedDiscriminationTree, BaseTTTDiscriminationTree, DTree

public abstract class AbstractDiscriminationTree<DSCR,I,O,D,N extends AbstractDTNode<DSCR,O,D,N>>
extends Object
implements net.automatalib.graphs.Graph<N,Map.Entry<O,N>>, Serializable

An abstract super class for aggregating several information/functionality for discrimination trees.

Author:

frohme

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

net.automatalib.graphs.SimpleGraph.NormalGraphView<N,G extends net.automatalib.graphs.SimpleGraph<N>>

Field Summary

Fields

Modifier and Type	Field and Description
protected MembershipOracle<I,O>	oracle
protected N	root

Constructor Summary

Constructors

Constructor and Description
AbstractDiscriminationTree(N root, MembershipOracle<I,O> oracle)

Method Summary

Modifier and Type	Method and Description
Collection<N>	getNodes()
Collection<Map.Entry<O,N>>	getOutgoingEdges(N node)
N	getRoot()
N	getTarget(Map.Entry<O,N> edge)
net.automatalib.visualization.VisualizationHelper<N,Map.Entry<O,N>>	getVisualizationHelper()
LCAInfo<O,N>	lcaInfo(N node1, N node2)
N	leastCommonAncestor(N a, N b)
void	setOracle(MembershipOracle<I,O> oracle)
abstract N	sift(N start, net.automatalib.words.Word<I> prefix)
N	sift(net.automatalib.words.Word<I> prefix)

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

Field Detail

root

protected final N extends AbstractDTNode<DSCR,O,D,N> root

oracle

protected transient MembershipOracle<I,O> oracle

Constructor Detail

AbstractDiscriminationTree

public AbstractDiscriminationTree(N root,
                                  MembershipOracle<I,O> oracle)

Method Detail

sift

public N sift(net.automatalib.words.Word<I> prefix)

sift

public abstract N sift(N start,
                       net.automatalib.words.Word<I> prefix)

getRoot

public N getRoot()

leastCommonAncestor

public N leastCommonAncestor(N a,
                             N b)

lcaInfo

public LCAInfo<O,N> lcaInfo(N node1,
                            N node2)

getNodes

public Collection<N> getNodes()

Specified by:

getNodes in interface net.automatalib.graphs.SimpleGraph<N extends AbstractDTNode<DSCR,O,D,N>>

getOutgoingEdges

public Collection<Map.Entry<O,N>> getOutgoingEdges(N node)

Specified by:

getOutgoingEdges in interface net.automatalib.graphs.IndefiniteGraph<N extends AbstractDTNode<DSCR,O,D,N>,Map.Entry<O,N extends AbstractDTNode<DSCR,O,D,N>>>

getTarget

public N getTarget(Map.Entry<O,N> edge)

Specified by:

getTarget in interface net.automatalib.graphs.IndefiniteGraph<N extends AbstractDTNode<DSCR,O,D,N>,Map.Entry<O,N extends AbstractDTNode<DSCR,O,D,N>>>

getVisualizationHelper

public net.automatalib.visualization.VisualizationHelper<N,Map.Entry<O,N>> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface net.automatalib.graphs.Graph<N extends AbstractDTNode<DSCR,O,D,N>,Map.Entry<O,N extends AbstractDTNode<DSCR,O,D,N>>>

Specified by:

getVisualizationHelper in interface net.automatalib.graphs.SimpleGraph<N extends AbstractDTNode<DSCR,O,D,N>>

setOracle

public void setOracle(MembershipOracle<I,O> oracle)