net.automatalib.incremental.dfa.dag

Class IncrementalDFADAGBuilder<I>

java.lang.Object

net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder<I>

net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder<I>

net.automatalib.incremental.dfa.dag.IncrementalDFADAGBuilder<I>

Type Parameters:

I - input symbol class

All Implemented Interfaces:

IncrementalDFABuilder<I>, IncrementalConstruction<DFA<?,I>,I>

public class IncrementalDFADAGBuilder<I>
extends AbstractIncrementalDFADAGBuilder<I>

Incrementally builds an (acyclic) DFA, from a set of positive and negative words. Using insert(Word, boolean), either the set of words definitely in the target language or definitely not in the target language is augmented. The lookup(Word) method then returns, for a given word, whether this word is in the set of definitely accepted words (Acceptance.TRUE), definitely rejected words (Acceptance.FALSE), or neither (Acceptance.DONT_KNOW).

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

AbstractIncrementalDFADAGBuilder.GraphView, AbstractIncrementalDFADAGBuilder.TransitionSystemView

Nested classes/interfaces inherited from class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>, AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>

Field Summary

Fields inherited from class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

init, register, sink

Fields inherited from class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

alphabetSize, inputAlphabet

Constructor Summary

Constructors

Constructor and Description
IncrementalDFADAGBuilder(Alphabet<I> inputAlphabet) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
protected net.automatalib.incremental.dfa.dag.State	getState(Word<? extends I> word) Retrieves the state reached by a given word.
void	insert(Word<? extends I> word, boolean accepting) Inserts a word into either the set of accepted or rejected words.
Acceptance	lookup(Word<? extends I> word) Checks the ternary acceptance status for a given word.

Methods inherited from class net.automatalib.incremental.dfa.dag.AbstractIncrementalDFADAGBuilder

asGraph, asTransitionSystem, clone, clone, clone, findSeparatingWord, hiddenClone, hide, replaceOrRegister, replaceOrRegister, unhide, unhide, updateInitSignature, updateInitSignature, updateInitSignature, updateSignature, updateSignature, updateSignature

Methods inherited from class net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder

getInputAlphabet, hasDefinitiveInformation, insert

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IncrementalDFADAGBuilder

public IncrementalDFADAGBuilder(Alphabet<I> inputAlphabet)

Constructor. Initializes the incremental builder.

Parameters:

inputAlphabet - the input alphabet to use

Method Detail

lookup

public Acceptance lookup(Word<? extends I> word)

Checks the ternary acceptance status for a given word.

Parameters:

word - the word to check

Returns:

the acceptance status for the given word

insert

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

Inserts a word into either the set of accepted or rejected words.

Parameters:

word - the word to insert

accepting - whether to insert this word into the set of accepted or rejected words.

getState

protected net.automatalib.incremental.dfa.dag.State getState(Word<? extends I> word)

Retrieves the state reached by a given word.

Specified by:

getState in class AbstractIncrementalDFADAGBuilder<I>

Parameters:

word - the word

Returns:

the state reached by the given word, or null if no state is reachable by that word