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>
,FiniteRepresentation
,GraphViewable
,Graph<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>
,IndefiniteGraph<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node>
,IndefiniteSimpleGraph<de.learnlib.algorithm.aaar.abstraction.Node>
,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>, GraphViewable, 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
Graph.IntAbstraction<E extends Object>
-
-
Constructor Summary
Constructors Constructor Description AbstractAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods 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)
VisualizationHelper<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.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
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
-
AbstractAbstractionTree
public AbstractAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o)
-
-
Method Detail
-
getAbstractSymbol
public AI getAbstractSymbol(CI c)
Description copied from interface:Abstraction
Returns the abstract symbol for a given concrete one.- Specified by:
getAbstractSymbol
in interfaceAbstraction<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 interfaceAbstraction<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 interfaceGraphViewable
-
getOutgoingEdges
public Collection<de.learnlib.algorithm.aaar.abstraction.Node> getOutgoingEdges(de.learnlib.algorithm.aaar.abstraction.Node node)
- Specified by:
getOutgoingEdges
in interfaceGraph<AI,CI>
-
getTarget
public de.learnlib.algorithm.aaar.abstraction.Node getTarget(de.learnlib.algorithm.aaar.abstraction.Node edge)
- Specified by:
getTarget
in interfaceIndefiniteGraph<AI,CI>
-
getNodes
public Collection<de.learnlib.algorithm.aaar.abstraction.Node> getNodes()
- Specified by:
getNodes
in interfaceSimpleGraph<AI>
-
getVisualizationHelper
public VisualizationHelper<de.learnlib.algorithm.aaar.abstraction.Node,de.learnlib.algorithm.aaar.abstraction.Node> getVisualizationHelper()
- Specified by:
getVisualizationHelper
in interfaceGraph<AI,CI>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<AI>
-
-