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
All Methods Instance Methods Abstract Methods Default Methods 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 insertaccepting
- 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 invokinginsert(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 interfaceIncrementalConstruction<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 interfaceIncrementalConstruction<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 interfaceIncrementalConstruction<DFA<?,I>,I>
- Returns:
- a transition system view on the current state of the construction
-
-