net.automatalib.automata.transout.impl.compact

Class CompactMealy<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<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<Integer,I,T,SP,TP>

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

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

All Implemented Interfaces:

Iterable<Integer>, Automaton<Integer,I,CompactMealyTransition<O>>, DetOutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, InputAlphabetHolder<I>, MutableTransitionOutput<CompactMealyTransition<O>,O>, Output<I,Word<O>>, OutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, SODetOutputAutomaton<Integer,I,CompactMealyTransition<O>,Word<O>>, StateIDs<Integer>, SuffixOutput<I,Word<O>>, TransitionOutput<CompactMealyTransition<O>,O>, DeterministicAutomaton<Integer,I,CompactMealyTransition<O>>, DOTPlottableAutomaton<Integer,I,CompactMealyTransition<O>>, FiniteAlphabetAutomaton<Integer,I,CompactMealyTransition<O>>, MutableAutomaton<Integer,I,CompactMealyTransition<O>,Void,O>, MutableDeterministic<Integer,I,CompactMealyTransition<O>,Void,O>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,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>, Graph<Integer,TransitionEdge<I,CompactMealyTransition<O>>>, IndefiniteGraph<Integer,TransitionEdge<I,CompactMealyTransition<O>>>, DeterministicTransitionSystem<Integer,I,CompactMealyTransition<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>, DOTPlottableAutomaton<Integer,I,CompactMealyTransition<O>>

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

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

Methods

Modifier and Type	Method and Description
Word<O>	computeOutput(Iterable<I> input)
Word<O>	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
CompactMealyTransition<O>	copyTransition(CompactMealyTransition<O> trans, int succId)
CompactMealyTransition<O>	createTransition(int succId, O property)
GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>>	getDOTHelper()
int	getIntSuccessor(CompactMealyTransition<O> transition)
O	getOutput(Integer state, I input)
Void	getStateProperty(int stateId)
Void	getStateProperty(Integer state)
O	getTransitionOutput(CompactMealyTransition<O> transition)
O	getTransitionProperty(CompactMealyTransition<O> transition)
void	setStateProperty(int state, Void property)
void	setTransitionOutput(CompactMealyTransition<O> transition, O output)
void	setTransitionProperty(CompactMealyTransition<O> transition, O property)
void	trace(Integer state, Iterable<I> input, List<O> output)
void	trace(Iterable<I> input, List<O> output)

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

addIntState, addState, clear, copyTransition, createDynamicNodeMapping, createState, createStaticNodeMapping, createTransition, ensureCapacity, ensureCapacity, getId, getInitialState, getInputAlphabet, getIntInitialState, getNodes, getOutgoingEdges, getState, getStateId, getStates, getSuccessor, getTarget, getTransition, getTransition, getTransition, makeId, nodeIDs, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, stateIDs

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

addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions

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

iterator, size

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 net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

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

Methods inherited from interface net.automatalib.automata.MutableDeterministic

setInitialState, setTransition, setTransition

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitions

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

getInputAlphabet

Methods inherited from interface net.automatalib.graphs.Graph

size

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>

setTransitionProperty

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

Specified by:

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

getOutput

public O getOutput(Integer state,
          I input)

Specified by:

getOutput in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>

trace

public void trace(Iterable<I> input,
         List<O> output)

Specified by:

trace in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>

trace

public void trace(Integer state,
         Iterable<I> input,
         List<O> output)

Specified by:

trace in interface TransitionOutputAutomaton<Integer,I,CompactMealyTransition<O>,O>

computeSuffixOutput

public Word<O> computeSuffixOutput(Iterable<I> prefix,
                          Iterable<I> suffix)

Specified by:

computeSuffixOutput in interface SuffixOutput<I,Word<O>>

computeOutput

public Word<O> computeOutput(Iterable<I> input)

Specified by:

computeOutput in interface Output<I,Word<O>>

getTransitionProperty

public O getTransitionProperty(CompactMealyTransition<O> transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<Integer,I,CompactMealyTransition<O>,Void,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)

Specified by:

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

getStateProperty

public Void getStateProperty(int stateId)

Specified by:

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

getStateProperty

public Void getStateProperty(Integer state)

Specified by:

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

Overrides:

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

createTransition

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

Specified by:

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

copyTransition

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

Specified by:

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

setStateProperty

public void setStateProperty(int state,
                    Void property)

Specified by:

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

getDOTHelper

public GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>> getDOTHelper()

Specified by:

getDOTHelper in interface DOTPlottableAutomaton<Integer,I,CompactMealyTransition<O>>