net.automatalib.incremental

Interface IncrementalConstruction<A,I>

Type Parameters:

A - the automaton model which is constructed

I - input symbol class

All Known Implementing Classes:

AbstractIncrementalDFABuilder, IncrementalDFABuilder, IncrementalMealyBuilder, IncrementalPCDFABuilder

public interface IncrementalConstruction<A,I>

Basic interface for incremental automata constructions. An incremental automaton construction creates an (acyclic) automaton by iterated insertion of example words.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
Word<I>	findSeparatingWord(A 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() Retrieves the input alphabet of this construction.
boolean	hasDefinitiveInformation(Word<I> word) Checks whether this class has definitive information about a given word.
A	toAutomaton() Creates an automaton model from the current state of the construction.

Method Detail

getInputAlphabet

Alphabet<I> getInputAlphabet()

Retrieves the input alphabet of this construction.

Returns:

the input alphabet

findSeparatingWord

Word<I> findSeparatingWord(A 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.

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.

toAutomaton

A toAutomaton()

Creates an automaton model from the current state of the construction.

Returns:

an automaton model

hasDefinitiveInformation

boolean hasDefinitiveInformation(Word<I> word)

Checks whether this class has definitive information about a given word.

Parameters:

word - the word

Returns:

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