net.automatalib.incremental.dfa

Interface IncrementalDFABuilder<I>

Type Parameters:

I - input symbol type

All Superinterfaces:

IncrementalConstruction<DFA<?,I>,I>

All Known Implementing Classes:

AbstractIncrementalDFABuilder, AbstractIncrementalDFADAGBuilder, IncrementalDFADAGBuilder, IncrementalDFATreeBuilder, IncrementalPCDFADAGBuilder, IncrementalPCDFATreeBuilder

@ParametersAreNonnullByDefault
public interface IncrementalDFABuilder<I>
extends IncrementalConstruction<DFA<?,I>,I>

General interface for incremental DFA builders.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

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

Method Summary

Methods

Modifier and Type	Method and Description
IncrementalDFABuilder.GraphView<I,?,?>	asGraph() Retrieves a graph view of the current state of the construction.
IncrementalDFABuilder.TransitionSystemView<?,I,?>	asTransitionSystem() Retrieves a transition system view of the current state of the construction.
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, getInputAlphabet, hasDefinitiveInformation

Method Detail

lookup

@Nonnull
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)
            throws ConflictException

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

Parameters:

word - the word to insert

accepting - whether or not this word should be marked as accepting

Throws:

ConflictException - if the newly provided information conflicts with existing information

insert

void insert(Word<? extends I> word)
            throws ConflictException

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)

asGraph

@Nonnull
IncrementalDFABuilder.GraphView<I,?,?> 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

@Nonnull
IncrementalDFABuilder.TransitionSystemView<?,I,?> 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