net.automatalib.incremental.mealy

Class AbstractIncrementalMealyBuilder<I,O>

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractIncrementalMealyTreeBuilder, IncrementalMealyDAGBuilder

public abstract class AbstractIncrementalMealyBuilder<I,O>
extends Object
implements IncrementalMealyBuilder<I,O>, Serializable

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>

Nested classes/interfaces inherited from interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

IncrementalMealyBuilder.GraphView<I,O,N,E>

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalMealyBuilder()

Method Summary

Modifier and Type	Method and Description
boolean	hasDefinitiveInformation(Word<? extends I> word) Checks whether this class has definitive information about a given word.
Word<O>	lookup(Word<? extends I> inputWord)

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.incremental.mealy.IncrementalMealyBuilder

asGraph, asTransitionSystem, insert, lookup

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

findSeparatingWord

Methods inherited from interface net.automatalib.SupportsGrowingAlphabet

addAlphabetSymbol

Constructor Detail

AbstractIncrementalMealyBuilder

public AbstractIncrementalMealyBuilder()

Method Detail

hasDefinitiveInformation

public boolean hasDefinitiveInformation(Word<? extends I> word)

Description copied from interface: IncrementalConstruction

Checks whether this class has definitive information about a given word.

Specified by:

hasDefinitiveInformation in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>

Parameters:

word - the word

Returns:

true if this class has definitive information about the word, false otherwise.

lookup

public Word<O> lookup(Word<? extends I> inputWord)

Specified by:

lookup in interface IncrementalMealyBuilder<I,O>