net.automatalib.incremental.mealy.dag

Class IncrementalMealyDAGBuilder<I,O>

java.lang.Object

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

net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder<I,O>

Type Parameters:

I - input symbol class

O - output symbol class

All Implemented Interfaces:

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

public class IncrementalMealyDAGBuilder<I,O>
extends AbstractIncrementalMealyBuilder<I,O>
implements InputAlphabetHolder<I>

Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.

Author:

Malte Isberner

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	IncrementalMealyDAGBuilder.AutomatonView
class	IncrementalMealyDAGBuilder.GraphView

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

AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>

Constructor Summary

Constructors

Constructor and Description
IncrementalMealyDAGBuilder(Alphabet<I> inputAlphabet) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol) Notifies the data structure that a new symbol should be added to the alphabet.
IncrementalMealyDAGBuilder.GraphView	asGraph() Retrieves a graph view of the current state of the construction.
IncrementalMealyDAGBuilder.AutomatonView	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.
Alphabet<I>	getInputAlphabet()
boolean	hasDefinitiveInformation(Word<? extends I> word) Checks whether this class has definitive information about a given word.
void	insert(Word<? extends I> word, Word<? extends O> outputWord) Incorporates a pair of input/output words into the stored information.
boolean	isComplete(Word<? extends I> word) Deprecated. since 2014-01-22. Use hasDefinitiveInformation(Word)
boolean	lookup(Word<? extends I> word, List<? super O> output) Retrieves the output word for the given input word.

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

lookup

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalMealyDAGBuilder

public IncrementalMealyDAGBuilder(Alphabet<I> inputAlphabet)

Constructor.

Parameters:

inputAlphabet - the input alphabet to use

Method Detail

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)
                       throws GrowingAlphabetNotSupportedException

Description copied from interface: SupportsGrowingAlphabet

Notifies the data structure that a new symbol should be added to the alphabet. Behavior depends on the implementation:

• After adding a new symbol, the symbol-related data may either be initialized with default values or undefined.
• Duplicate symbols may: (1) be handled accordingly, (2) be ignored or (3) result in an error.

Some data structures may need to be properly initialized (e.g. with a GrowingAlphabet) to handle potentially shared state across multiple instances. If the needed requirements are not met, a GrowingAlphabetNotSupportedException can be thrown.

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

Parameters:

symbol - the symbol to add to the alphabet.

Throws:

GrowingAlphabetNotSupportedException - if the data structure was not properly initialized (e.g. with a GrowingAlphabet).

isComplete

@Deprecated
public boolean isComplete(Word<? extends I> word)

Deprecated. since 2014-01-22. Use hasDefinitiveInformation(Word)

Checks whether there exists secured information about the output for the given word.

Parameters:

word - the input word

Returns:

a boolean indicating whether information about the output for the given input word exists.

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.

lookup

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

Description copied from interface: IncrementalMealyBuilder

Retrieves the output word for the given input word. If no definitive information for the input word exists, the output for the longest known prefix will be returned.

Specified by:

lookup in interface IncrementalMealyBuilder<I,O>

Parameters:

word - the input word

output - a consumer for constructing the output word

Returns:

true if the information contained was complete (in this case, word.length() == output.size() will hold), false otherwise.

insert

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

Description copied from interface: IncrementalMealyBuilder

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

Specified by:

insert in interface IncrementalMealyBuilder<I,O>

Parameters:

word - the input word

outputWord - the corresponding output word

asGraph

public IncrementalMealyDAGBuilder.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.

Specified by:

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

Specified by:

asGraph in interface IncrementalMealyBuilder<I,O>

Returns:

a graph view on the current state of the construction

asTransitionSystem

public IncrementalMealyDAGBuilder.AutomatonView 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>

Specified by:

asTransitionSystem in interface IncrementalMealyBuilder<I,O>

Returns:

a transition system view on the current state of the construction

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.

Specified by:

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

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.

getInputAlphabet

@Nonnull
public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>