net.automatalib.incremental.mealy

Interface IncrementalMealyBuilder<I,O>

All Superinterfaces:

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

All Known Implementing Classes:

AbstractIncrementalMealyBuilder, IncrementalMealyDAGBuilder, IncrementalMealyTreeBuilder

public interface IncrementalMealyBuilder<I,O>
extends IncrementalConstruction<MealyMachine<?,I,?,O>,I>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	IncrementalMealyBuilder.GraphView<I,O,N,E>
static interface	IncrementalMealyBuilder.TransitionSystemView<I,O,S,T>

Method Summary

Methods

Modifier and Type	Method and Description
IncrementalMealyBuilder.GraphView<I,O,?,?>	asGraph() Retrieves a graph view of the current state of the construction.
IncrementalMealyBuilder.TransitionSystemView<I,O,?,?>	asTransitionSystem() Retrieves a transition system view of the current state of the construction.
void	insert(Word<? extends I> inputWord, Word<? extends O> outputWord)
Word<O>	lookup(Word<? extends I> inputWord)
boolean	lookup(Word<? extends I> inputWord, List<? super O> output)

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

findSeparatingWord, getInputAlphabet, hasDefinitiveInformation

Method Detail

lookup

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

lookup

boolean lookup(Word<? extends I> inputWord,
             List<? super O> output)

insert

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

Throws:

ConflictException

asTransitionSystem

IncrementalMealyBuilder.TransitionSystemView<I,O,?,?> asTransitionSystem()

Description copied from interface: IncrementalConstruction

Retrieves a transition system view of the current state of the construction. The transition system model should be backed by the construction, i.e., subsequent changes will be reflected in the transition system.

Specified by:

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

Returns:

a transition system view on the current state of the construction

asGraph

IncrementalMealyBuilder.GraphView<I,O,?,?> asGraph()

Description copied from interface: IncrementalConstruction

Retrieves a graph view of the current state of the construction. The graph model should be backed by the construction, i.e., subsequent changes will be reflected in the graph model.

Specified by:

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

Returns:

a graph view on the current state of the construction