net.automatalib.incremental.mealy.tree

Class IncrementalMealyTreeBuilder<I,O>

java.lang.Object

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

net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder<I,O>

All Implemented Interfaces:

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

public class IncrementalMealyTreeBuilder<I,O>
extends AbstractIncrementalMealyBuilder<I,O>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	IncrementalMealyTreeBuilder.GraphView
class	IncrementalMealyTreeBuilder.TransitionSystemView

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

AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>, AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T>

Field Summary

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

inputAlphabet

Constructor Summary

Constructors

Constructor and Description
IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet)

Method Summary

Methods

Modifier and Type	Method and Description
IncrementalMealyTreeBuilder.GraphView	asGraph() Retrieves a graph view of the current state of the construction.
IncrementalMealyTreeBuilder.TransitionSystemView	asTransitionSystem() Retrieves a transition system view of the current state of the construction.
Word<I>	findSeparatingWord(MealyMachine<?,I,?,O> target, Collection<? extends I> inputs, boolean omitUndefined) Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.
boolean	hasDefinitiveInformation(Word<? extends I> word) Checks whether this class has definitive information about a given word.
void	insert(Word<? extends I> input, Word<? extends O> outputWord)
boolean	lookup(Word<? extends I> word, List<? super O> output)

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

getInputAlphabet, lookup

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalMealyTreeBuilder

public IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet)

Method Detail

insert

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

Throws:

ConflictException

lookup

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

findSeparatingWord

public Word<I> findSeparatingWord(MealyMachine<?,I,?,O> target,
                         Collection<? extends I> inputs,
                         boolean omitUndefined)

Description copied from interface: IncrementalConstruction

Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.

Parameters:

target - the target automaton model

inputs - the set of input symbols to consider

omitUndefined - if this is set to true, then undefined transitions in the target model will be interpreted as "unspecified/don't know" and omitted in the equivalence test. Otherwise, they will be interpreted in the usual manner (e.g., non-accepting sink in case of DFAs).

Returns:

a separating word, or null if no difference could be found.

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>

Overrides:

hasDefinitiveInformation in class AbstractIncrementalMealyBuilder<I,O>

Parameters:

word - the word

Returns:

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

asTransitionSystem

public IncrementalMealyTreeBuilder.TransitionSystemView 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.

Returns:

a transition system view on the current state of the construction

asGraph

public IncrementalMealyTreeBuilder.GraphView 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.

Returns:

a graph view on the current state of the construction