net.automatalib.automata.transducers.impl.compact

Class CompactMealy<I,O>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompact<I,T,SP,TP>

net.automatalib.automata.base.compact.AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>

net.automatalib.automata.transducers.impl.compact.CompactMealy<I,O>

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,CompactMealyTransition<O>>, DetOutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, DetSuffixOutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, InputAlphabetHolder<I>, MutableTransitionOutput<CompactMealyTransition<O>,O>, Output<I,Word<O>>, OutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, StateIDs<Integer>, StateLocalInput<Integer,I>, SuffixOutput<I,Word<O>>, TransitionOutput<CompactMealyTransition<O>,O>, DeterministicAutomaton<Integer,I,CompactMealyTransition<O>>, DeterministicAutomaton.FullIntAbstraction<CompactMealyTransition<O>>, DeterministicAutomaton.IntAbstraction<CompactMealyTransition<O>>, DeterministicAutomaton.StateIntAbstraction<I,CompactMealyTransition<O>>, FiniteAlphabetAutomaton<Integer,I,CompactMealyTransition<O>>, MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>, MutableDeterministic<Integer,I,CompactMealyTransition<O>,Void,O>, MutableDeterministic.FullIntAbstraction<CompactMealyTransition<O>,Void,O>, MutableDeterministic.IntAbstraction<CompactMealyTransition<O>,Void,O>, MutableDeterministic.StateIntAbstraction<I,CompactMealyTransition<O>,Void,O>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, MealyMachine<Integer,I,CompactMealyTransition<O>,O>, MutableMealyMachine<Integer,I,CompactMealyTransition<O>,O>, StateLocalInputMealyMachine<Integer,I,CompactMealyTransition<O>,O>, TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>, UniversalAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>, UniversalDeterministicAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>, UniversalDeterministicAutomaton.FullIntAbstraction<CompactMealyTransition<O>,Void,O>, UniversalDeterministicAutomaton.IntAbstraction<CompactMealyTransition<O>,Void,O>, UniversalDeterministicAutomaton.StateIntAbstraction<I,CompactMealyTransition<O>,Void,O>, UniversalFiniteAlphabetAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>, GraphViewable, SupportsGrowingAlphabet<I>, DeterministicTransitionSystem<Integer,I,CompactMealyTransition<O>>, DeterministicOutputTS<Integer,I,CompactMealyTransition<O>,O>, DeterministicTransitionOutputTS<Integer,I,CompactMealyTransition<O>,O>, MealyTransitionSystem<Integer,I,CompactMealyTransition<O>,O>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,CompactMealyTransition<O>>, UniversalDTS<Integer,I,CompactMealyTransition<O>,Void,O>, UniversalTransitionSystem<Integer,I,CompactMealyTransition<O>,Void,O>

public class CompactMealy<I,O>
extends AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>
implements MutableMealyMachine<Integer,I,CompactMealyTransition<O>,O>, StateLocalInputMealyMachine<Integer,I,CompactMealyTransition<O>,O>

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CompactMealy.Creator<I,O>

Nested classes/interfaces inherited from class net.automatalib.automata.base.compact.AbstractCompact

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic

MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

Nested classes/interfaces inherited from interface net.automatalib.automata.transducers.MealyMachine

MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction

MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from class net.automatalib.automata.base.compact.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
CompactMealy(Alphabet<I> alphabet)
CompactMealy(Alphabet<I> alphabet, int stateCapacity)
CompactMealy(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
void	clear()
CompactMealyTransition<O>	createTransition(int succId, O property)
int	getIntSuccessor(CompactMealyTransition<O> transition)
Void	getStateProperty(int stateId)
@Nullable CompactMealyTransition<O>	getTransition(int state, int input)
O	getTransitionOutput(CompactMealyTransition<O> transition)
O	getTransitionProperty(CompactMealyTransition<O> transition)
void	removeAllTransitions(Integer state)
void	setStateProperty(int state, Void property)
void	setTransition(int state, int input, @Nullable CompactMealyTransition<O> transition)
void	setTransition(int state, int input, int successor, O property)
void	setTransitionOutput(CompactMealyTransition<O> transition, O output)
void	setTransitionProperty(CompactMealyTransition<O> transition, O property)
protected void	updateTransitionStorage(AbstractCompact.Payload payload) Implementing classes should override this method in order to react to changes to the layout of their array-based transition data, e.g. due to calls to MutableAutomaton.addState() or AbstractCompact.addAlphabetSymbol(Object).

Methods inherited from class net.automatalib.automata.base.compact.AbstractCompactDeterministic

addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstraction

Methods inherited from class net.automatalib.automata.base.compact.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automata.transducers.MutableMealyMachine

setStateProperty

Methods inherited from interface net.automatalib.automata.MutableDeterministic

addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition, createTransition

Methods inherited from interface net.automatalib.automata.transducers.MealyMachine

transitionGraphView

Methods inherited from interface net.automatalib.automata.transducers.TransitionOutputAutomaton

computeStateOutput

Methods inherited from interface net.automatalib.automata.concepts.DetSuffixOutputAutomaton

computeOutput, computeSuffixOutput

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

getSuccessors

Methods inherited from interface net.automatalib.ts.output.MealyTransitionSystem

getStateProperty

Methods inherited from interface net.automatalib.ts.output.DeterministicTransitionOutputTS

getOutput, trace

Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS

trace

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automata.concepts.StateLocalInput

getLocalInputs

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntInitialState, addIntState, addIntState

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

size

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Constructor Detail

CompactMealy

public CompactMealy(Alphabet<I> alphabet,
                    int stateCapacity,
                    float resizeFactor)

CompactMealy

public CompactMealy(Alphabet<I> alphabet,
                    int stateCapacity)

CompactMealy

public CompactMealy(Alphabet<I> alphabet)

Method Detail

updateTransitionStorage

protected void updateTransitionStorage(AbstractCompact.Payload payload)

Description copied from class: AbstractCompact

Implementing classes should override this method in order to react to changes to the layout of their array-based transition data, e.g. due to calls to MutableAutomaton.addState() or AbstractCompact.addAlphabetSymbol(Object).

Subclasses may use one of the AbstractCompact.updateTransitionStorage(Object[], IntFunction, Object, Payload)... methods to conveniently delegate this task to this base class. This leaves subclasses only with the task to invoke the provided update methods for each of their local array storages.

Overrides:

updateTransitionStorage in class AbstractCompact<I,CompactMealyTransition<O>,Void,O>

Parameters:

payload - the payload containing the necessary information for the update operation. This object must be passed as-is to the AbstractCompact.updateTransitionStorage(Object[], IntFunction, Object, Payload)... methods.

getTransitionOutput

public O getTransitionOutput(CompactMealyTransition<O> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<CompactMealyTransition<O>,O>

getTransitionProperty

public O getTransitionProperty(CompactMealyTransition<O> transition)

Specified by:

getTransitionProperty in interface UniversalDeterministicAutomaton.IntAbstraction<CompactMealyTransition<O>,Void,O>

Specified by:

getTransitionProperty in interface MealyTransitionSystem<Integer,I,CompactMealyTransition<O>,O>

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<Integer,I,CompactMealyTransition<O>,Void,O>

setTransitionProperty

public void setTransitionProperty(CompactMealyTransition<O> transition,
                                  O property)

Specified by:

setTransitionProperty in interface MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>

Specified by:

setTransitionProperty in interface MutableDeterministic.IntAbstraction<CompactMealyTransition<O>,Void,O>

Specified by:

setTransitionProperty in interface MutableMealyMachine<Integer,I,CompactMealyTransition<O>,O>

setTransitionOutput

public void setTransitionOutput(CompactMealyTransition<O> transition,
                                O output)

Specified by:

setTransitionOutput in interface MutableTransitionOutput<CompactMealyTransition<O>,O>

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

removeAllTransitions in interface MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>

getIntSuccessor

public int getIntSuccessor(CompactMealyTransition<O> transition)

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<CompactMealyTransition<O>>

createTransition

public CompactMealyTransition<O> createTransition(int succId,
                                                  O property)

Specified by:

createTransition in interface MutableDeterministic.IntAbstraction<CompactMealyTransition<O>,Void,O>

setStateProperty

public void setStateProperty(int state,
                             Void property)

Specified by:

setStateProperty in interface MutableDeterministic.IntAbstraction<CompactMealyTransition<O>,Void,O>

Specified by:

setStateProperty in class AbstractCompact<I,CompactMealyTransition<O>,Void,O>

getStateProperty

public Void getStateProperty(int stateId)

Specified by:

getStateProperty in interface UniversalDeterministicAutomaton.IntAbstraction<CompactMealyTransition<O>,Void,O>

setTransition

public void setTransition(int state,
                          int input,
                          @Nullable CompactMealyTransition<O> transition)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<CompactMealyTransition<O>,Void,O>

setTransition

public void setTransition(int state,
                          int input,
                          int successor,
                          O property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<CompactMealyTransition<O>,Void,O>

clear

public void clear()

Specified by:

clear in interface MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>

Overrides:

clear in class AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>

getTransition

public @Nullable CompactMealyTransition<O> getTransition(int state,
                                                         int input)

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<CompactMealyTransition<O>>