net.automatalib.incremental.mealy.tree.dynamic

Class StateLocalInputIncrementalMealyTreeBuilder<I,O>

java.lang.Object

net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder<I,O>

net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.dynamic.Node<I,O>,I,O>

net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder<I,OutputAndLocalInputs<I,O>>

net.automatalib.incremental.mealy.tree.dynamic.StateLocalInputIncrementalMealyTreeBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

Serializable, IncrementalConstruction<MealyMachine<?,I,?,OutputAndLocalInputs<I,O>>,I>, IncrementalMealyBuilder<I,OutputAndLocalInputs<I,O>>, SupportsGrowingAlphabet<I>

public class StateLocalInputIncrementalMealyTreeBuilder<I,O>
extends DynamicIncrementalMealyTreeBuilder<I,OutputAndLocalInputs<I,O>>

A variation of the DynamicIncrementalMealyTreeBuilder that intelligently handles the information provided by the OutputAndLocalInputs output class.

Words that would traverse paths whose input symbols are not part of the OutputAndLocalInputs.getLocalInputs() set are answered with OutputAndLocalInputs.undefined(), even though the tree holds no information about them (and it doesn't need to, given the contract of OutputAndLocalInputs.

Author:

Maren Geske, frohme

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

AbstractIncrementalMealyTreeBuilder.GraphView, AbstractIncrementalMealyTreeBuilder.TransitionSystemView

Nested classes/interfaces inherited from class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>

Field Summary

Fields inherited from class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

root

Constructor Summary

Constructors

Constructor and Description
StateLocalInputIncrementalMealyTreeBuilder(Collection<I> initialAvailableInputs)

Method Summary

Modifier and Type	Method and Description
void	insert(Word<? extends I> input, Word<? extends OutputAndLocalInputs<I,O>> outputWord) Incorporates a pair of input/output words into the stored information.
protected net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>>	insertNode(net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> parent, I symbol, OutputAndLocalInputs<I,O> output)
boolean	lookup(Word<? extends I> word, List<? super OutputAndLocalInputs<I,O>> output) Retrieves the output word for the given input word.

Methods inherited from class net.automatalib.incremental.mealy.tree.dynamic.DynamicIncrementalMealyTreeBuilder

addAlphabetSymbol, createNode, getEdge, getOutgoingEdges

Methods inherited from class net.automatalib.incremental.mealy.tree.AbstractIncrementalMealyTreeBuilder

asGraph, asTransitionSystem, findSeparatingWord

Methods inherited from class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder

hasDefinitiveInformation, lookup

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateLocalInputIncrementalMealyTreeBuilder

public StateLocalInputIncrementalMealyTreeBuilder(Collection<I> initialAvailableInputs)

Method Detail

lookup

public boolean lookup(Word<? extends I> word,
                      List<? super OutputAndLocalInputs<I,O>> output)

Description copied from interface: IncrementalMealyBuilder

Retrieves the output word for the given input word. If no definitive information for the input word exists, the output for the longest known prefix will be returned.

Specified by:

lookup in interface IncrementalMealyBuilder<I,OutputAndLocalInputs<I,O>>

Overrides:

lookup in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>>,I,OutputAndLocalInputs<I,O>>

Parameters:

word - the input word

output - a consumer for constructing the output word

Returns:

true if the information contained was complete (in this case, word.length() == output.size() will hold), false otherwise.

insert

public void insert(Word<? extends I> input,
                   Word<? extends OutputAndLocalInputs<I,O>> outputWord)
            throws ConflictException

Description copied from interface: IncrementalMealyBuilder

Incorporates a pair of input/output words into the stored information.

Specified by:

insert in interface IncrementalMealyBuilder<I,OutputAndLocalInputs<I,O>>

Overrides:

insert in class AbstractIncrementalMealyTreeBuilder<net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>>,I,OutputAndLocalInputs<I,O>>

Parameters:

input - the input word

outputWord - the corresponding output word

Throws:

ConflictException - if this information conflicts with information already stored

insertNode

protected net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> insertNode(net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> parent,
                                                                                                      I symbol,
                                                                                                      OutputAndLocalInputs<I,O> output)

Overrides:

insertNode in class DynamicIncrementalMealyTreeBuilder<I,OutputAndLocalInputs<I,O>>