Package net.automatalib.incremental.dfa.tree

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 of IncrementalDFATreeBuilder. 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

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

Constructor Detail

IncrementalPCDFATreeBuilder

public IncrementalPCDFATreeBuilder(Alphabet<I> alphabet)

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 interface IncrementalDFABuilder<I>

Overrides:

lookup in class IncrementalDFATreeBuilder<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 interface IncrementalDFABuilder<I>

Overrides:

insert in class IncrementalDFATreeBuilder<I>

Parameters:

word - the word to insert

acceptance - 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 interface IncrementalConstruction<DFA<?,I>,I>

Specified by:

asTransitionSystem in interface IncrementalDFABuilder<I>

Overrides:

asTransitionSystem in class IncrementalDFATreeBuilder<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 interface IncrementalConstruction<DFA<?,I>,I>

Specified by:

asGraph in interface IncrementalDFABuilder<I>

Overrides:

asGraph in class IncrementalDFATreeBuilder<I>

Returns:

a graph view on the current state of the construction