net.automatalib.incremental.dfa.dag

Class AbstractIncrementalDFADAGBuilder<I>

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

IncrementalDFADAGBuilder, IncrementalPCDFADAGBuilder

public abstract class AbstractIncrementalDFADAGBuilder<I>
extends AbstractIncrementalDFABuilder<I>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AbstractIncrementalDFADAGBuilder.GraphView
class	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

Modifier and Type	Field and Description
protected net.automatalib.incremental.dfa.dag.State	init
protected Map<net.automatalib.incremental.dfa.dag.StateSignature,net.automatalib.incremental.dfa.dag.State>	register
protected net.automatalib.incremental.dfa.dag.State	sink

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

alphabetSize, inputAlphabet

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalDFADAGBuilder(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
AbstractIncrementalDFADAGBuilder.GraphView	asGraph() Retrieves a graph view of the current state of the construction.
AbstractIncrementalDFADAGBuilder.TransitionSystemView	asTransitionSystem() Retrieves a transition system view of the current state of the construction.
protected net.automatalib.incremental.dfa.dag.State	clone(net.automatalib.incremental.dfa.dag.State other, Acceptance acc) Clones a state, changing the signature.
protected net.automatalib.incremental.dfa.dag.State	clone(net.automatalib.incremental.dfa.dag.State other, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State	clone(net.automatalib.incremental.dfa.dag.State other, int idx, net.automatalib.incremental.dfa.dag.State succ) Clones a state, changing the signature.
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.
protected abstract net.automatalib.incremental.dfa.dag.State	getState(Word<? extends I> word)
protected net.automatalib.incremental.dfa.dag.State	hiddenClone(net.automatalib.incremental.dfa.dag.State other)
protected void	hide(net.automatalib.incremental.dfa.dag.State state)
protected net.automatalib.incremental.dfa.dag.State	replaceOrRegister(net.automatalib.incremental.dfa.dag.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.dag.State	replaceOrRegister(net.automatalib.incremental.dfa.dag.StateSignature sig) Returns (and possibly creates) the canonical state for the given signature.
protected net.automatalib.incremental.dfa.dag.State	unhide(net.automatalib.incremental.dfa.dag.State state, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State	unhide(net.automatalib.incremental.dfa.dag.State state, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected void	updateInitSignature(Acceptance acc)
protected void	updateInitSignature(Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected void	updateInitSignature(int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State	updateSignature(net.automatalib.incremental.dfa.dag.State state, Acceptance acc) Updates the signature for a given state.
protected net.automatalib.incremental.dfa.dag.State	updateSignature(net.automatalib.incremental.dfa.dag.State state, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State	updateSignature(net.automatalib.incremental.dfa.dag.State state, int idx, net.automatalib.incremental.dfa.dag.State succ) Updates the signature for a given state.

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

Methods inherited from interface net.automatalib.incremental.dfa.IncrementalDFABuilder

insert, lookup

Field Detail

register

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

init

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

sink

protected net.automatalib.incremental.dfa.dag.State sink

Constructor Detail

AbstractIncrementalDFADAGBuilder

public AbstractIncrementalDFADAGBuilder(Alphabet<I> inputAlphabet)

Method Detail

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.

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.

getState

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

updateInitSignature

protected void updateInitSignature(Acceptance acc)

updateInitSignature

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

updateInitSignature

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

updateSignature

protected net.automatalib.incremental.dfa.dag.State updateSignature(net.automatalib.incremental.dfa.dag.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

updateSignature

protected net.automatalib.incremental.dfa.dag.State updateSignature(net.automatalib.incremental.dfa.dag.State state,
                                                                    int idx,
                                                                    net.automatalib.incremental.dfa.dag.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.dag.State updateSignature(net.automatalib.incremental.dfa.dag.State state,
                                                                    Acceptance acc,
                                                                    int idx,
                                                                    net.automatalib.incremental.dfa.dag.State succ)

replaceOrRegister

protected net.automatalib.incremental.dfa.dag.State replaceOrRegister(net.automatalib.incremental.dfa.dag.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

replaceOrRegister

protected net.automatalib.incremental.dfa.dag.State replaceOrRegister(net.automatalib.incremental.dfa.dag.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

hiddenClone

protected net.automatalib.incremental.dfa.dag.State hiddenClone(net.automatalib.incremental.dfa.dag.State other)

hide

protected void hide(net.automatalib.incremental.dfa.dag.State state)

unhide

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

unhide

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

clone

protected net.automatalib.incremental.dfa.dag.State clone(net.automatalib.incremental.dfa.dag.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.dag.State clone(net.automatalib.incremental.dfa.dag.State other,
                                                          int idx,
                                                          net.automatalib.incremental.dfa.dag.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.dag.State clone(net.automatalib.incremental.dfa.dag.State other,
                                                          Acceptance acc,
                                                          int idx,
                                                          net.automatalib.incremental.dfa.dag.State succ)

asGraph

public AbstractIncrementalDFADAGBuilder.GraphView 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.

Returns:

a graph view on the current state of the construction

asTransitionSystem

public AbstractIncrementalDFADAGBuilder.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.

Returns:

a transition system view on the current state of the construction