Package net.automatalib.incremental.dfa

Interface IncrementalDFABuilder<I>

Type Parameters:

I - input symbol type

All Superinterfaces:

IncrementalConstruction<DFA<?,I>,I>, SupportsGrowingAlphabet<I>

All Known Implementing Classes:

AbstractIncrementalDFABuilder, IncrementalDFADAGBuilder, IncrementalDFATreeBuilder, IncrementalPCDFADAGBuilder, IncrementalPCDFATreeBuilder

public interface IncrementalDFABuilder<I>
extends IncrementalConstruction<DFA<?,I>,I>, SupportsGrowingAlphabet<I>

General interface for incremental DFA builders.

Method Summary

Modifier and Type	Method	Description
Graph<?,?>	asGraph()	Retrieves a graph view of the current state of the construction.
UniversalDTS<?,I,?,Acceptance,Void>	asTransitionSystem()	Retrieves a transition system view of the current state of the construction.
default boolean	hasDefinitiveInformation(Word<? extends I> word)	Checks whether this class has definitive information about a given word.
default void	insert(Word<? extends I> word)	Inserts a new word into the automaton.
void	insert(Word<? extends I> word, boolean accepting)	Inserts a new word into the automaton, with a given acceptance value.
Acceptance	lookup(Word<? extends I> inputWord)	Looks up the tri-state acceptance value for a given word.

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

findSeparatingWord

Methods inherited from interface net.automatalib.alphabet.SupportsGrowingAlphabet

addAlphabetSymbol

Method Detail

lookup

Acceptance lookup(Word<? extends I> inputWord)

Looks up the tri-state acceptance value for a given word.

Parameters:

inputWord - the word

Returns:

the tri-state acceptance value for this word.

insert

void insert(Word<? extends I> word,
            boolean accepting)

Inserts a new word into the automaton, with a given acceptance value.

Parameters:

word - the word to insert

accepting - whether this word should be marked as accepting

Throws:

ConflictException - if the newly provided information conflicts with existing information

insert

default void insert(Word<? extends I> word)

Inserts a new word into the automaton. This is a convenience method equivalent to invoking insert(word, true).

Parameters:

word - the word to insert

Throws:

ConflictException - if the newly provided information conflicts with existing information

See Also:

insert(Word, boolean)

hasDefinitiveInformation

default 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<DFA<?,I>,I>

Parameters:

word - the word

Returns:

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

asGraph

Graph<?,?> 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<DFA<?,I>,I>

Returns:

a graph view on the current state of the construction

asTransitionSystem

UniversalDTS<?,I,?,Acceptance,Void> 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<DFA<?,I>,I>

Returns:

a transition system view on the current state of the construction