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>

All Implemented Interfaces:

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

public class IncrementalPCDFATreeBuilder<I>
extends IncrementalDFATreeBuilder<I>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	IncrementalPCDFATreeBuilder.TransitionSystemView

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

IncrementalDFATreeBuilder.GraphView, IncrementalDFATreeBuilder.Record<S,I>

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

root

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

alphabetSize, inputAlphabet

Constructor Summary

Constructors

Constructor and Description
IncrementalPCDFATreeBuilder(Alphabet<I> alphabet)

Method Summary

Methods

Modifier and Type	Method and Description
IncrementalPCDFATreeBuilder.TransitionSystemView	asTransitionSystem() Retrieves a transition system view of the current state of the construction.
protected <S> Word<I>	doFindSeparatingWord(DFA<S,I> target, Collection<? extends I> inputs, boolean omitUndefined)
Node<I>	getSink()
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

asGraph, findSeparatingWord

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

IncrementalPCDFATreeBuilder

public IncrementalPCDFATreeBuilder(Alphabet<I> alphabet)

Method Detail

asTransitionSystem

public IncrementalPCDFATreeBuilder.TransitionSystemView 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 IncrementalDFABuilder<I>

Specified by:

asTransitionSystem in interface IncrementalConstruction<DFA<?,I>,I>

Overrides:

asTransitionSystem in class IncrementalDFATreeBuilder<I>

Returns:

a transition system view on the current state of the construction

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)
            throws ConflictException

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 or not this word should be marked as accepting

Throws:

ConflictException - if the newly provided information conflicts with existing information

doFindSeparatingWord

protected <S> Word<I> doFindSeparatingWord(DFA<S,I> target,
                               Collection<? extends I> inputs,
                               boolean omitUndefined)

Overrides:

doFindSeparatingWord in class IncrementalDFATreeBuilder<I>

getSink

public Node<I> getSink()