net.automatalib.incremental.dfa

Class AbstractIncrementalDFABuilder<I>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>

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

All Implemented Interfaces:

Iterable<net.automatalib.incremental.dfa.State>, Automaton<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>, DeterministicAutomaton<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>, SimpleAutomaton<net.automatalib.incremental.dfa.State,I>, SimpleDeterministicAutomaton<net.automatalib.incremental.dfa.State,I>, DOTPlottableGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>, Graph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>, IndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>, UniversalGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord,Acceptance,I>, UniversalIndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord,Acceptance,I>, IncrementalConstruction<DFA<?,I>,I>, DeterministicTransitionSystem<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>, SimpleDTS<net.automatalib.incremental.dfa.State,I>, SimpleTS<net.automatalib.incremental.dfa.State,I>, TransitionSystem<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>

Direct Known Subclasses:

IncrementalDFABuilder, IncrementalPCDFABuilder

public abstract class AbstractIncrementalDFABuilder<I>
extends AbstractDeterministicAutomaton<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>
implements UniversalGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord,Acceptance,I>, DOTPlottableGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>, IncrementalConstruction<DFA<?,I>,I>

Field Summary

Fields

Modifier and Type	Field and Description
protected int	alphabetSize
protected net.automatalib.incremental.dfa.State	init
protected Alphabet<I>	inputAlphabet
protected Map<net.automatalib.incremental.dfa.StateSignature,net.automatalib.incremental.dfa.State>	register
protected net.automatalib.incremental.dfa.State	sink

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalDFABuilder(Alphabet<I> inputAlphabet)

Method Summary

Methods

Modifier and Type	Method and Description
protected net.automatalib.incremental.dfa.State	clone(net.automatalib.incremental.dfa.State other, Acceptance acc) Clones a state, changing the signature.
protected net.automatalib.incremental.dfa.State	clone(net.automatalib.incremental.dfa.State other, Acceptance acc, int idx, net.automatalib.incremental.dfa.State succ)
protected net.automatalib.incremental.dfa.State	clone(net.automatalib.incremental.dfa.State other, int idx, net.automatalib.incremental.dfa.State succ) Clones a state, changing the signature.
<T> MutableMapping<net.automatalib.incremental.dfa.State,T>	createDynamicNodeMapping()
<T> MutableMapping<net.automatalib.incremental.dfa.State,T>	createStaticNodeMapping()
Word<I>	findSeparatingWord(DFA<?,I> target, Collection<? extends I> inputs, boolean omitUndefined) Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.
I	getEdgeProperty(net.automatalib.incremental.dfa.EdgeRecord edge)
GraphDOTHelper<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>	getGraphDOTHelper()
net.automatalib.incremental.dfa.State	getInitialState()
Alphabet<I>	getInputAlphabet() Retrieves the input alphabet of this construction.
Acceptance	getNodeProperty(net.automatalib.incremental.dfa.State node)
Collection<net.automatalib.incremental.dfa.State>	getNodes()
Collection<net.automatalib.incremental.dfa.EdgeRecord>	getOutgoingEdges(net.automatalib.incremental.dfa.State node)
protected abstract net.automatalib.incremental.dfa.State	getState(Word<I> word)
Collection<net.automatalib.incremental.dfa.State>	getStates()
net.automatalib.incremental.dfa.State	getSuccessor(net.automatalib.incremental.dfa.State transition)
net.automatalib.incremental.dfa.State	getTarget(net.automatalib.incremental.dfa.EdgeRecord edge)
net.automatalib.incremental.dfa.State	getTransition(net.automatalib.incremental.dfa.State state, I input)
boolean	hasDefinitiveInformation(Word<I> word) Checks whether this class has definitive information about a given word.
void	insert(Word<I> word) Inserts a word into the set of accepted words.
abstract void	insert(Word<I> word, boolean accepting)
abstract Acceptance	lookup(Word<I> word)
NodeIDs<net.automatalib.incremental.dfa.State>	nodeIDs()
protected net.automatalib.incremental.dfa.State	replaceOrRegister(net.automatalib.incremental.dfa.State state) Returns the canonical state for the given state's signature, or registers the state as canonical if no state with that signature exists.
protected net.automatalib.incremental.dfa.State	replaceOrRegister(net.automatalib.incremental.dfa.StateSignature sig) Returns (and possibly creates) the canonical state for the given signature.
int	size()
DFA<?,I>	toAutomaton() Creates an automaton model from the current state of the construction.
protected void	updateInitSignature(Acceptance acc)
protected void	updateInitSignature(int idx, net.automatalib.incremental.dfa.State succ)
protected net.automatalib.incremental.dfa.State	updateSignature(net.automatalib.incremental.dfa.State state, Acceptance acc) Updates the signature for a given state.
protected net.automatalib.incremental.dfa.State	updateSignature(net.automatalib.incremental.dfa.State state, Acceptance acc, int idx, net.automatalib.incremental.dfa.State succ)
protected net.automatalib.incremental.dfa.State	updateSignature(net.automatalib.incremental.dfa.State state, int idx, net.automatalib.incremental.dfa.State succ) Updates the signature for a given state.

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Field Detail

register

protected final Map<net.automatalib.incremental.dfa.StateSignature,net.automatalib.incremental.dfa.State> register

inputAlphabet

protected final Alphabet<I> inputAlphabet

alphabetSize

protected final int alphabetSize

init

protected final net.automatalib.incremental.dfa.State init

sink

protected net.automatalib.incremental.dfa.State sink

Constructor Detail

AbstractIncrementalDFABuilder

public AbstractIncrementalDFABuilder(Alphabet<I> inputAlphabet)

Method Detail

lookup

public abstract Acceptance lookup(Word<I> word)

insert

public abstract void insert(Word<I> word,
          boolean accepting)
                     throws ConflictException

Throws:

ConflictException

insert

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

Inserts a word into the set of accepted words.

Parameters:

word - the word to insert

Throws:

ConflictException - if the word is already contained in the set of definitely rejected words

size

public int size()

Specified by:

size in interface SimpleAutomaton<net.automatalib.incremental.dfa.State,I>

Specified by:

size in interface Graph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

Overrides:

size in class AbstractDeterministicAutomaton<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>

getNodes

public Collection<net.automatalib.incremental.dfa.State> getNodes()

Specified by:

getNodes in interface Graph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

getOutgoingEdges

public Collection<net.automatalib.incremental.dfa.EdgeRecord> getOutgoingEdges(net.automatalib.incremental.dfa.State node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

getTarget

public net.automatalib.incremental.dfa.State getTarget(net.automatalib.incremental.dfa.EdgeRecord edge)

Specified by:

getTarget in interface IndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

getNodeProperty

public Acceptance getNodeProperty(net.automatalib.incremental.dfa.State node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord,Acceptance,I>

getEdgeProperty

public I getEdgeProperty(net.automatalib.incremental.dfa.EdgeRecord edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord,Acceptance,I>

getTransition

public net.automatalib.incremental.dfa.State getTransition(net.automatalib.incremental.dfa.State state,
                                                  I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>

getSuccessor

public net.automatalib.incremental.dfa.State getSuccessor(net.automatalib.incremental.dfa.State transition)

Specified by:

getSuccessor in interface TransitionSystem<net.automatalib.incremental.dfa.State,I,net.automatalib.incremental.dfa.State>

getInitialState

public net.automatalib.incremental.dfa.State getInitialState()

Specified by:

getInitialState in interface SimpleDTS<net.automatalib.incremental.dfa.State,I>

getStates

public Collection<net.automatalib.incremental.dfa.State> getStates()

Specified by:

getStates in interface SimpleAutomaton<net.automatalib.incremental.dfa.State,I>

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

findSeparatingWord

public Word<I> findSeparatingWord(DFA<?,I> target,
                         Collection<? extends I> inputs,
                         boolean omitUndefined)

Description copied from interface: IncrementalConstruction

Checks the current state of the construction against a given target model, and returns a word exposing a difference if there is one.

Specified by:

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

Parameters:

target - the target automaton model

inputs - the set of input symbols to consider

omitUndefined - if this is set to true, then undefined transitions in the target model will be interpreted as "unspecified/don't know" and omitted in the equivalence test. Otherwise, they will be interpreted in the usual manner (e.g., non-accepting sink in case of DFAs).

Returns:

a separating word, or null if no difference could be found.

toAutomaton

public DFA<?,I> toAutomaton()

Description copied from interface: IncrementalConstruction

Creates an automaton model from the current state of the construction.

Specified by:

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

Returns:

an automaton model

hasDefinitiveInformation

public boolean hasDefinitiveInformation(Word<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.

getGraphDOTHelper

public GraphDOTHelper<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

nodeIDs

public NodeIDs<net.automatalib.incremental.dfa.State> nodeIDs()

Specified by:

nodeIDs in interface Graph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

createStaticNodeMapping

public <T> MutableMapping<net.automatalib.incremental.dfa.State,T> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

createDynamicNodeMapping

public <T> MutableMapping<net.automatalib.incremental.dfa.State,T> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<net.automatalib.incremental.dfa.State,net.automatalib.incremental.dfa.EdgeRecord>

getState

protected abstract net.automatalib.incremental.dfa.State getState(Word<I> word)

replaceOrRegister

protected net.automatalib.incremental.dfa.State replaceOrRegister(net.automatalib.incremental.dfa.StateSignature sig)

Returns (and possibly creates) the canonical state for the given signature.

Parameters:

sig - the signature

Returns:

the canonical state for the given signature

replaceOrRegister

protected net.automatalib.incremental.dfa.State replaceOrRegister(net.automatalib.incremental.dfa.State state)

Returns the canonical state for the given state's signature, or registers the state as canonical if no state with that signature exists.

Parameters:

state - the state

Returns:

the canonical state for the given state's signature

updateInitSignature

protected void updateInitSignature(Acceptance acc)

updateSignature

protected net.automatalib.incremental.dfa.State updateSignature(net.automatalib.incremental.dfa.State state,
                                                    Acceptance acc)

Updates the signature for a given state.

Parameters:

state - the state

acc - the new acceptance value

Returns:

the canonical state for the updated signature

updateInitSignature

protected void updateInitSignature(int idx,
                       net.automatalib.incremental.dfa.State succ)

updateSignature

protected net.automatalib.incremental.dfa.State updateSignature(net.automatalib.incremental.dfa.State state,
                                                    int idx,
                                                    net.automatalib.incremental.dfa.State succ)

Updates the signature for a given state.

Parameters:

state - the state

idx - the index of the transition to change

succ - the new successor for the above index

Returns:

the canonical state for the updated signature

updateSignature

protected net.automatalib.incremental.dfa.State updateSignature(net.automatalib.incremental.dfa.State state,
                                                    Acceptance acc,
                                                    int idx,
                                                    net.automatalib.incremental.dfa.State succ)

clone

protected net.automatalib.incremental.dfa.State clone(net.automatalib.incremental.dfa.State other,
                                          Acceptance acc)

Clones a state, changing the signature.

Parameters:

other - the state to clone

acc - the new acceptance value

Returns:

the canonical state for the derived signature

clone

protected net.automatalib.incremental.dfa.State clone(net.automatalib.incremental.dfa.State other,
                                          int idx,
                                          net.automatalib.incremental.dfa.State succ)

Clones a state, changing the signature.

Parameters:

other - the state to clone

idx - the index of the transition to change

succ - the new successor state

Returns:

the canonical state for the derived signature

clone

protected net.automatalib.incremental.dfa.State clone(net.automatalib.incremental.dfa.State other,
                                          Acceptance acc,
                                          int idx,
                                          net.automatalib.incremental.dfa.State succ)