net.automatalib.incremental.mealy

Class AbstractIncrementalMealyBuilder<I,O>

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

IncrementalMealyDAGBuilder, IncrementalMealyTreeBuilder

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

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>

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<I>	inputAlphabet

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalMealyBuilder(Alphabet<I> alphabet)

Method Summary

Modifier and Type	Method and Description
Alphabet<I>	getInputAlphabet() Retrieves the input alphabet of this construction.
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

Field Detail

inputAlphabet

protected Alphabet<I> inputAlphabet

Constructor Detail

AbstractIncrementalMealyBuilder

public AbstractIncrementalMealyBuilder(Alphabet<I> alphabet)

Method Detail

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Description copied from interface: IncrementalConstruction

Retrieves the input alphabet of this construction.

Specified by:

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

Returns:

the input alphabet

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>