Package de.learnlib.algorithm.aaar.abstraction

Class ExplicitAbstractionTree<AI,CI,D>

java.lang.Object

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

de.learnlib.algorithm.aaar.abstraction.ExplicitAbstractionTree<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 ExplicitAbstractionTree<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
ExplicitAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o, Function<AI,AI> incrementor)

Method Summary

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

Constructor Detail

ExplicitAbstractionTree

public ExplicitAbstractionTree(AI rootA,
                               CI rootC,
                               MembershipOracle<CI,D> o,
                               Function<AI,AI> incrementor)

Method Detail

createAbstractionForRepresentative

protected AI createAbstractionForRepresentative(CI ci)

Specified by:

createAbstractionForRepresentative in class AbstractAbstractionTree<AI,CI,D>