Class IncrementalPCDFATreeBuilder<I>
- java.lang.Object
-
- net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder<I>
-
- net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder<I>
-
- net.automatalib.incremental.dfa.tree.IncrementalPCDFATreeBuilder<I>
-
- Type Parameters:
I
- input symbol class
- All Implemented Interfaces:
SupportsGrowingAlphabet<I>
,InputAlphabetHolder<I>
,IncrementalDFABuilder<I>
,IncrementalConstruction<DFA<?,I>,I>
public class IncrementalPCDFATreeBuilder<I> extends IncrementalDFATreeBuilder<I>
The prefix-closed version ofIncrementalDFATreeBuilder
. Contrary to the regular lookup semantics, where an exact response to a lookup can only be given, if the exact word has been observed before, the prefix-closed semantics behave as follows:- prefixes of previously observed accepted words will result in a
Acceptance.TRUE
response as well. - continuations of previously observed rejected words will result in a
Acceptance.FALSE
response as well.
-
-
Field Summary
-
Fields inherited from class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
alphabetSize, inputAlphabet
-
-
Constructor Summary
Constructors Constructor Description IncrementalPCDFATreeBuilder(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete 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.void
insert(Word<? extends I> word, boolean acceptance)
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 class net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder
addAlphabetSymbol, findSeparatingWord
-
Methods inherited from class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder
getInputAlphabet
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.incremental.dfa.IncrementalDFABuilder
hasDefinitiveInformation, insert
-
-
-
-
Method Detail
-
lookup
public Acceptance lookup(Word<? extends I> inputWord)
Description copied from interface:IncrementalDFABuilder
Looks up the tri-state acceptance value for a given word.- Specified by:
lookup
in interfaceIncrementalDFABuilder<I>
- Overrides:
lookup
in classIncrementalDFATreeBuilder<I>
- Parameters:
inputWord
- the word- Returns:
- the tri-state acceptance value for this word.
-
insert
public void insert(Word<? extends I> word, boolean acceptance)
Description copied from interface:IncrementalDFABuilder
Inserts a new word into the automaton, with a given acceptance value.- Specified by:
insert
in interfaceIncrementalDFABuilder<I>
- Overrides:
insert
in classIncrementalDFATreeBuilder<I>
- Parameters:
word
- the word to insertacceptance
- whether this word should be marked as accepting
-
asTransitionSystem
public 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>
- Specified by:
asTransitionSystem
in interfaceIncrementalDFABuilder<I>
- Overrides:
asTransitionSystem
in classIncrementalDFATreeBuilder<I>
- Returns:
- a transition system view on the current state of the construction
-
asGraph
public 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>
- Specified by:
asGraph
in interfaceIncrementalDFABuilder<I>
- Overrides:
asGraph
in classIncrementalDFATreeBuilder<I>
- Returns:
- a graph view on the current state of the construction
-
-