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<Node>, FiniteRepresentation, GraphViewable, Graph<Node,Node>, IndefiniteGraph<Node,Node>, IndefiniteSimpleGraph<Node>, SimpleGraph<Node>

Direct Known Subclasses:

ExplicitAbstractionTree, GenericAbstractionTree

public abstract class AbstractAbstractionTree<AI,CI,D>
extends Object
implements Abstraction<AI,CI>, GraphViewable, Graph<Node,Node>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.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<Node>	getNodes()
Collection<Node>	getOutgoingEdges(Node node)
CI	getRepresentative(AI a)	Returns the (concrete) representative for a given abstract symbol.
Collection<CI>	getRepresentativeSymbols()
Node	getTarget(Node edge)
VisualizationHelper<Node,Node>	getVisualizationHelper()
Graph<?,?>	graphView()
AI	splitLeaf(CI repOld, CI repNew, Word<CI> prefix, 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 Details

AbstractAbstractionTree

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

Method Details

splitLeaf

public AI splitLeaf(CI repOld,
 CI repNew,
 Word<CI> prefix,
 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 Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable

getOutgoingEdges

public Collection<Node> getOutgoingEdges(Node node)

Specified by:

getOutgoingEdges in interface Graph<AI,CI>

getTarget

public Node getTarget(Node edge)

Specified by:

getTarget in interface IndefiniteGraph<AI,CI>

getNodes

public Collection<Node> getNodes()

Specified by:

getNodes in interface SimpleGraph<AI>

getVisualizationHelper

public VisualizationHelper<Node,Node> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface Graph<AI,CI>

Specified by:

getVisualizationHelper in interface SimpleGraph<AI>

createAbstractionForRepresentative

protected abstract AI createAbstractionForRepresentative(CI ci)