Package net.automatalib.incremental.mealy

Interface IncrementalMealyBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Superinterfaces:

IncrementalConstruction<MealyMachine<?,I,?,O>,I>, MealyBuilder<I,O>, SupportsGrowingAlphabet<I>

All Known Implementing Classes:

DynamicIncrementalMealyTreeBuilder, IncrementalMealyDAGBuilder, IncrementalMealyTreeBuilder

public interface IncrementalMealyBuilder<I,O>
extends MealyBuilder<I,O>

General interface for incremental Mealy builders.

Method Summary

Modifier and Type	Method	Description
void	insert(Word<? extends I> inputWord, Word<? extends O> outputWord)	Incorporates a pair of input/output words into the stored information.

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

asGraph, findSeparatingWord

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

asTransitionSystem, hasDefinitiveInformation, lookup, lookup

Methods inherited from interface net.automatalib.alphabet.SupportsGrowingAlphabet

addAlphabetSymbol

Method Detail

insert

void insert(Word<? extends I> inputWord,
            Word<? extends O> outputWord)

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

Parameters:

inputWord - the input word

outputWord - the corresponding output word

Throws:

ConflictException - if this information conflicts with information already stored