net.automatalib.incremental.mealy

Class IncrementalMealyBuilder<I,O>

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.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>

net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O>

Type Parameters:

I - input symbol class

O - output symbol class

All Implemented Interfaces:

Iterable<net.automatalib.incremental.mealy.State>, Automaton<net.automatalib.incremental.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>, TransitionOutput<net.automatalib.incremental.mealy.TransitionRecord,O>, DeterministicAutomaton<net.automatalib.incremental.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>, SimpleAutomaton<net.automatalib.incremental.mealy.State,I>, SimpleDeterministicAutomaton<net.automatalib.incremental.mealy.State,I>, DOTPlottableGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>, Graph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>, IndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>, UniversalGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord,Void,Pair<I,O>>, UniversalIndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord,Void,Pair<I,O>>, IncrementalConstruction<MealyMachine<?,I,?,O>,I>, DeterministicTransitionSystem<net.automatalib.incremental.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>, SimpleDTS<net.automatalib.incremental.mealy.State,I>, SimpleTS<net.automatalib.incremental.mealy.State,I>, TransitionSystem<net.automatalib.incremental.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>

public class IncrementalMealyBuilder<I,O>
extends AbstractDeterministicAutomaton<net.automatalib.incremental.mealy.State,I,net.automatalib.incremental.mealy.TransitionRecord>
implements TransitionOutput<net.automatalib.incremental.mealy.TransitionRecord,O>, UniversalGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord,Void,Pair<I,O>>, DOTPlottableGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>, IncrementalConstruction<MealyMachine<?,I,?,O>,I>

Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words.

Author:

Malte Isberner

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
<V> MutableMapping<net.automatalib.incremental.mealy.State,V>	createDynamicNodeMapping()
<V> MutableMapping<net.automatalib.incremental.mealy.State,V>	createStaticNodeMapping()
Word<I>	findSeparatingWord(MealyMachine<?,I,?,O> 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.
Pair<I,O>	getEdgeProperty(net.automatalib.incremental.mealy.TransitionRecord edge)
GraphDOTHelper<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>	getGraphDOTHelper()
net.automatalib.incremental.mealy.State	getInitialState()
Alphabet<I>	getInputAlphabet() Retrieves the input alphabet of this construction.
Void	getNodeProperty(net.automatalib.incremental.mealy.State node)
Collection<net.automatalib.incremental.mealy.State>	getNodes()
Collection<net.automatalib.incremental.mealy.TransitionRecord>	getOutgoingEdges(net.automatalib.incremental.mealy.State node)
Collection<net.automatalib.incremental.mealy.State>	getStates()
net.automatalib.incremental.mealy.State	getSuccessor(net.automatalib.incremental.mealy.TransitionRecord transition)
net.automatalib.incremental.mealy.State	getTarget(net.automatalib.incremental.mealy.TransitionRecord edge)
net.automatalib.incremental.mealy.TransitionRecord	getTransition(net.automatalib.incremental.mealy.State state, I input)
O	getTransitionOutput(net.automatalib.incremental.mealy.TransitionRecord transition)
boolean	hasDefinitiveInformation(Word<I> word) Checks whether this class has definitive information about a given word.
void	insert(Word<I> word, Word<O> outputWord) Incorporates a pair of input/output words into the stored information.
boolean	isComplete(Word<I> word) Checks whether there exists secured information about the output for the given word.
boolean	lookup(Word<I> word, WordBuilder<O> output) Retrieves the output word for the given input word.
NodeIDs<net.automatalib.incremental.mealy.State>	nodeIDs()
int	size()
CompactMealy<I,O>	toAutomaton() Creates an automaton model from the current state of the construction.

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

Constructor Detail

IncrementalMealyBuilder

public IncrementalMealyBuilder(Alphabet<I> inputAlphabet)

Constructor.

Parameters:

inputAlphabet - the input alphabet to use

Method Detail

size

public int size()

Specified by:

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

Specified by:

size in interface Graph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

Overrides:

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

isComplete

public boolean isComplete(Word<I> word)

Checks whether there exists secured information about the output for the given word.

Parameters:

word - the input word

Returns:

a boolean indicating whether information about the output for the given input word exists.

lookup

public boolean lookup(Word<I> word,
             WordBuilder<O> output)

Retrieves the output word for the given input word. If no definitive information for the input word exists, the output for the longest known prefix will be returned.

Parameters:

word - the input word

output - a WordBuilder for constructing the output word

Returns:

true if the information contained was complete (in this case, word.length() == output.size() will hold), false otherwise.

insert

public void insert(Word<I> word,
          Word<O> outputWord)

Incorporates a pair of input/output words into the stored information.

Parameters:

word - the input word

outputWord - the corresponding output word

Throws:

ConflictException - if this information conflicts with information already stored

getSuccessor

public net.automatalib.incremental.mealy.State getSuccessor(net.automatalib.incremental.mealy.TransitionRecord transition)

Specified by:

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

getInitialState

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

Specified by:

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

getNodeProperty

public Void getNodeProperty(net.automatalib.incremental.mealy.State node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord,Void,Pair<I,O>>

getEdgeProperty

public Pair<I,O> getEdgeProperty(net.automatalib.incremental.mealy.TransitionRecord edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord,Void,Pair<I,O>>

getOutgoingEdges

public Collection<net.automatalib.incremental.mealy.TransitionRecord> getOutgoingEdges(net.automatalib.incremental.mealy.State node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

getTarget

public net.automatalib.incremental.mealy.State getTarget(net.automatalib.incremental.mealy.TransitionRecord edge)

Specified by:

getTarget in interface IndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

getTransitionOutput

public O getTransitionOutput(net.automatalib.incremental.mealy.TransitionRecord transition)

Specified by:

getTransitionOutput in interface TransitionOutput<net.automatalib.incremental.mealy.TransitionRecord,O>

getTransition

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

Specified by:

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

getGraphDOTHelper

public GraphDOTHelper<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

getStates

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

Specified by:

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

getNodes

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

Specified by:

getNodes in interface Graph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Description copied from interface: IncrementalConstruction

Retrieves the input alphabet of this construction.

Specified by:

getInputAlphabet in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>

Returns:

the input alphabet

findSeparatingWord

public Word<I> findSeparatingWord(MealyMachine<?,I,?,O> 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<MealyMachine<?,I,?,O>,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 CompactMealy<I,O> toAutomaton()

Description copied from interface: IncrementalConstruction

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

Specified by:

toAutomaton in interface IncrementalConstruction<MealyMachine<?,I,?,O>,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<MealyMachine<?,I,?,O>,I>

Parameters:

word - the word

Returns:

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

nodeIDs

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

Specified by:

nodeIDs in interface Graph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

createStaticNodeMapping

public <V> MutableMapping<net.automatalib.incremental.mealy.State,V> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>

createDynamicNodeMapping

public <V> MutableMapping<net.automatalib.incremental.mealy.State,V> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<net.automatalib.incremental.mealy.State,net.automatalib.incremental.mealy.TransitionRecord>