Module de.learnlib.algorithm.aaar

Package de.learnlib.algorithm.aaar.abstraction

Class AbstractAbstractionTree<AI,CI,D>

java.lang.Object

de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree<AI,CI,D>

All Implemented Interfaces:

Abstraction<AI,CI>, Iterable<de.learnlib.algorithm.aaar.abstraction.Node>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.graph.concept.GraphViewable, net.automatalib.graph.Graph<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>, net.automatalib.graph.IndefiniteGraph<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>, net.automatalib.graph.IndefiniteSimpleGraph<de.learnlib.algorithm.aaar.abstraction.Node>, net.automatalib.graph.SimpleGraph<de.learnlib.algorithm.aaar.abstraction.Node>

Direct Known Subclasses:

ExplicitAbstractionTree, GenericAbstractionTree

public abstract class AbstractAbstractionTree<AI,CI,D>
extends Object
implements Abstraction<AI,CI>, net.automatalib.graph.concept.GraphViewable, net.automatalib.graph.Graph<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

net.automatalib.graph.Graph.IntAbstraction<E extends Object>

Constructor Summary

Constructors

Constructor	Description
AbstractAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o)

Method Summary

Modifier and Type	Method	Description
protected abstract AI	createAbstractionForRepresentative(CI ci)
AI	getAbstractSymbol(CI c)	Returns the abstract symbol for a given concrete one.
Collection<de.learnlib.algorithm.aaar.abstraction.Node>	getNodes()
Collection<de.learnlib.algorithm.aaar.abstraction.Node>	getOutgoingEdges(de.learnlib.algorithm.aaar.abstraction.Node node)
CI	getRepresentative(AI a)	Returns the (concrete) representative for a given abstract symbol.
Collection<CI>	getRepresentativeSymbols()
de.learnlib.algorithm.aaar.abstraction.Node	getTarget(de.learnlib.algorithm.aaar.abstraction.Node edge)
net.automatalib.visualization.VisualizationHelper<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>	getVisualizationHelper()
net.automatalib.graph.Graph<?,?>	graphView()
AI	splitLeaf(CI repOld, CI repNew, net.automatalib.word.Word<CI> prefix, net.automatalib.word.Word<CI> suffix, D outOld)

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

isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.SimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, iterator, nodeIDs, size

Constructor Detail

AbstractAbstractionTree

public AbstractAbstractionTree(AI rootA,
                               CI rootC,
                               MembershipOracle<CI,D> o)

Method Detail

splitLeaf

public AI splitLeaf(CI repOld,
                    CI repNew,
                    net.automatalib.word.Word<CI> prefix,
                    net.automatalib.word.Word<CI> suffix,
                    D outOld)

getAbstractSymbol

public AI getAbstractSymbol(CI c)

Description copied from interface: Abstraction

Returns the abstract symbol for a given concrete one.

Specified by:

getAbstractSymbol in interface Abstraction<AI,CI>

Parameters:

c - the concrete symbol

Returns:

the abstraction of c

getRepresentative

public CI getRepresentative(AI a)

Description copied from interface: Abstraction

Returns the (concrete) representative for a given abstract symbol.

Specified by:

getRepresentative in interface Abstraction<AI,CI>

Parameters:

a - the abstract symbol

Returns:

the concrete representative of a

getRepresentativeSymbols

public Collection<CI> getRepresentativeSymbols()

graphView

public net.automatalib.graph.Graph<?,?> graphView()

Specified by:

graphView in interface net.automatalib.graph.concept.GraphViewable

getOutgoingEdges

public Collection<de.learnlib.algorithm.aaar.abstraction.Node> getOutgoingEdges(de.learnlib.algorithm.aaar.abstraction.Node node)

Specified by:

getOutgoingEdges in interface net.automatalib.graph.Graph<AI,CI>

getTarget

public de.learnlib.algorithm.aaar.abstraction.Node getTarget(de.learnlib.algorithm.aaar.abstraction.Node edge)

Specified by:

getTarget in interface net.automatalib.graph.IndefiniteGraph<AI,CI>

getNodes

public Collection<de.learnlib.algorithm.aaar.abstraction.Node> getNodes()

Specified by:

getNodes in interface net.automatalib.graph.SimpleGraph<AI>

getVisualizationHelper

public net.automatalib.visualization.VisualizationHelper<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface net.automatalib.graph.Graph<AI,CI>

Specified by:

getVisualizationHelper in interface net.automatalib.graph.SimpleGraph<AI>

createAbstractionForRepresentative

protected abstract AI createAbstractionForRepresentative(CI ci)