public class IncrementalMealyTreeBuilder<I,O> extends AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.Node<O>,I,O> implements InputAlphabetHolder<I>
AbstractIncrementalMealyTreeBuilder.GraphView, AbstractIncrementalMealyTreeBuilder.TransitionSystemView
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>
root
Constructor and Description |
---|
IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
void |
addAlphabetSymbol(I symbol)
Notifies the data structure that a new symbol should be added to the alphabet.
|
protected net.automatalib.incremental.mealy.tree.Node<O> |
createNode() |
protected Edge<net.automatalib.incremental.mealy.tree.Node<O>,O> |
getEdge(net.automatalib.incremental.mealy.tree.Node<O> node,
I symbol) |
Alphabet<I> |
getInputAlphabet() |
protected Collection<AnnotatedEdge<net.automatalib.incremental.mealy.tree.Node<O>,I,O>> |
getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<O> node) |
protected net.automatalib.incremental.mealy.tree.Node<O> |
insertNode(net.automatalib.incremental.mealy.tree.Node<O> parent,
I symIdx,
O output) |
asGraph, asTransitionSystem, findSeparatingWord, insert, lookup
hasDefinitiveInformation, lookup
public void addAlphabetSymbol(I symbol)
SupportsGrowingAlphabet
GrowingAlphabet
) to handle
potentially shared state across multiple instances. If the needed requirements are not met, a GrowingAlphabetNotSupportedException
can be thrown.addAlphabetSymbol
in interface SupportsGrowingAlphabet<I>
symbol
- the symbol to add to the alphabet.protected Edge<net.automatalib.incremental.mealy.tree.Node<O>,O> getEdge(net.automatalib.incremental.mealy.tree.Node<O> node, I symbol)
getEdge
in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.Node<O>,I,O>
protected net.automatalib.incremental.mealy.tree.Node<O> createNode()
createNode
in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.Node<O>,I,O>
protected net.automatalib.incremental.mealy.tree.Node<O> insertNode(net.automatalib.incremental.mealy.tree.Node<O> parent, I symIdx, O output)
insertNode
in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.Node<O>,I,O>
protected Collection<AnnotatedEdge<net.automatalib.incremental.mealy.tree.Node<O>,I,O>> getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<O> node)
getOutgoingEdges
in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.Node<O>,I,O>
public Alphabet<I> getInputAlphabet()
getInputAlphabet
in interface InputAlphabetHolder<I>
Copyright © 2020. All rights reserved.