Class GenericAbstractionTree<AI,CI,D>
- java.lang.Object
-
- de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree<AI,CI,D>
-
- de.learnlib.algorithm.aaar.abstraction.GenericAbstractionTree<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>
public class GenericAbstractionTree<AI,CI,D> extends AbstractAbstractionTree<AI,CI,D>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E extends Object>
-
-
Constructor Summary
Constructors Constructor Description GenericAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o, Function<CI,AI> abstractor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected AI
createAbstractionForRepresentative(CI ci)
-
Methods inherited from class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
getAbstractSymbol, getNodes, getOutgoingEdges, getRepresentative, getRepresentativeSymbols, getTarget, getVisualizationHelper, graphView, splitLeaf
-
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
-
-
-
-
Method Detail
-
createAbstractionForRepresentative
protected AI createAbstractionForRepresentative(CI ci)
- Specified by:
createAbstractionForRepresentative
in classAbstractAbstractionTree<AI,CI,D>
-
-