net.automatalib.automata.transout.impl.compact

Class CompactMealy<I,O>

java.lang.Object

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

net.automatalib.automata.transout.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>, 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>>, GrowableAlphabetAutomaton<I>, 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>, 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, DeterministicTransitionSystem<Integer,I,CompactMealyTransition<O>>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,CompactMealyTransition<O>>, DeterministicTransitionOutputTS<Integer,I,CompactMealyTransition<O>,O>, MealyTransitionSystem<Integer,I,CompactMealyTransition<O>,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>

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 interface net.automatalib.automata.transout.MealyMachine

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

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.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.AbstractCompactDeterministic

alphabet, alphabetSize, DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, initial, numStates, resizeFactor, stateCapacity, transitions

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, float resizeFactor)
CompactMealy(Alphabet<I> alphabet, int stateCapacity)
CompactMealy(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
CompactMealyTransition<O>	copyTransition(CompactMealyTransition<O> trans, int succId)
CompactMealyTransition<O>	createTransition(int succId, O property)
int	getIntSuccessor(CompactMealyTransition<O> transition) Retrieves the (abstracted) successor of a transition object.
Void	getStateProperty(int stateId) Retrieves the state property of a given (abstracted) state.
O	getTransitionOutput(CompactMealyTransition<O> transition)
O	getTransitionProperty(CompactMealyTransition<O> transition) Retrieves the transition property for the given state.
void	setStateProperty(int state, Void property)
void	setTransitionOutput(CompactMealyTransition<O> transition, O output)
void	setTransitionProperty(CompactMealyTransition<O> transition, O property)

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

addAlphabetSymbol, addIntInitialState, addIntInitialState, addIntState, addIntState, addState, clear, copyTransition, createState, createTransition, ensureCapacity, ensureCapacity, fullIntAbstraction, fullIntAbstraction, getId, getInitialState, getInputAlphabet, getIntInitialState, getState, getStateId, getStateProperty, getStates, getSuccessor, getTransition, getTransition, getTransition, makeId, numInputs, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, size, stateIDs, stateIntAbstraction

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.transout.MutableMealyMachine

setStateProperty

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

transitionGraphView

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

computeStateOutput

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

computeOutput, computeSuffixOutput

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

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

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

createDynamicStateMapping, getSuccessors

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

getStateProperty

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

getOutput, trace, trace

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.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

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.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

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

getSuccessor

Constructor Detail

CompactMealy

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

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

getTransitionOutput

public O getTransitionOutput(CompactMealyTransition<O> transition)

Specified by:

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

getTransitionProperty

public O getTransitionProperty(CompactMealyTransition<O> transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

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>

Parameters:

transition - the transition.

Returns:

the corresponding property.

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>

getIntSuccessor

public int getIntSuccessor(CompactMealyTransition<O> transition)

Description copied from interface: DeterministicAutomaton.IntAbstraction

Retrieves the (abstracted) successor of a transition object.

Specified by:

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

Parameters:

transition - the transition object

Returns:

the integer representing the successor of the given transition

createTransition

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

Specified by:

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

Specified by:

createTransition in class AbstractCompactDeterministic<I,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 AbstractCompactDeterministic<I,CompactMealyTransition<O>,Void,O>

getStateProperty

public Void getStateProperty(int stateId)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

Retrieves the state property of a given (abstracted) state.

Specified by:

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

Specified by:

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

Parameters:

stateId - the integer representing the state of which to retrieve the property

Returns:

the property for the given state

copyTransition

public CompactMealyTransition<O> copyTransition(CompactMealyTransition<O> trans,
                                                int succId)

Specified by:

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