net.automatalib.incremental.dfa.dag

Class IncrementalPCDFADAGBuilder<I>

java.lang.Object

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

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

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

Type Parameters:

I - input symbol class

All Implemented Interfaces:

Serializable, InputAlphabetHolder<I>, IncrementalDFABuilder<I>, IncrementalConstruction<DFA<?,I>,I>, SupportsGrowingAlphabet<I>

public class IncrementalPCDFADAGBuilder<I>
extends AbstractIncrementalDFADAGBuilder<I>

The prefix-closed version of IncrementalDFADAGBuilder. 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.

Author:

Malte Isberner

See Also:

Serialized Form

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
IncrementalPCDFADAGBuilder(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
protected net.automatalib.incremental.dfa.dag.State	getState(Word<? extends I> word)
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> word) Looks up the tri-state acceptance value for a given word.

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

addAlphabetSymbol, 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

IncrementalPCDFADAGBuilder

public IncrementalPCDFADAGBuilder(Alphabet<I> inputAlphabet)

Method Detail

lookup

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

Description copied from interface: IncrementalDFABuilder

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

Parameters:

word - the word

Returns:

the tri-state acceptance value for this word.

getState

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

Specified by:

getState in class AbstractIncrementalDFADAGBuilder<I>

insert

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

Description copied from interface: IncrementalDFABuilder

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