net.automatalib.incremental.dfa

Class AbstractIncrementalDFABuilder<I>

java.lang.Object

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

Type Parameters:

I - input symbol class

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractIncrementalDFADAGBuilder, IncrementalDFATreeBuilder

public abstract class AbstractIncrementalDFABuilder<I>
extends Object
implements IncrementalDFABuilder<I>

Abstract base class for IncrementalDFABuilders. This class takes care of holding the input alphabet and its size.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>
protected static class	AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>

Nested classes/interfaces inherited from interface net.automatalib.incremental.dfa.IncrementalDFABuilder

IncrementalDFABuilder.GraphView<I,N,E>, IncrementalDFABuilder.TransitionSystemView<S,I,T>

Field Summary

Fields

Modifier and Type	Field and Description
protected int	alphabetSize
protected Alphabet<I>	inputAlphabet

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Alphabet<I>	getInputAlphabet() Retrieves the input alphabet of this construction.
boolean	hasDefinitiveInformation(Word<? extends I> word) Checks whether this class has definitive information about a given word.
void	insert(Word<? extends I> word) Inserts a new word into the automaton.

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

asGraph, asTransitionSystem, insert, lookup

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

findSeparatingWord

Field Detail

inputAlphabet

protected final Alphabet<I> inputAlphabet

alphabetSize

protected final int alphabetSize

Constructor Detail

AbstractIncrementalDFABuilder

public AbstractIncrementalDFABuilder(@Nonnull
                                     Alphabet<I> inputAlphabet)

Constructor.

Parameters:

inputAlphabet - the input alphabet

Method Detail

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Description copied from interface: IncrementalConstruction

Retrieves the input alphabet of this construction.

Specified by:

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

Returns:

the input alphabet

hasDefinitiveInformation

public boolean hasDefinitiveInformation(Word<? extends I> word)

Description copied from interface: IncrementalConstruction

Checks whether this class has definitive information about a given word.

Specified by:

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

Parameters:

word - the word

Returns:

true if this class has definitive information about the word, false otherwise.

insert

public void insert(Word<? extends I> word)
            throws ConflictException

Description copied from interface: IncrementalDFABuilder

Inserts a new word into the automaton. This is a convenience method equivalent to invoking insert(word, true).

Specified by:

insert in interface IncrementalDFABuilder<I>

Parameters:

word - the word to insert

Throws:

ConflictException - if the newly provided information conflicts with existing information

See Also:

IncrementalDFABuilder.insert(Word, boolean)