I
- input symbol class.O
- output symbol class.public class FastMealy<I,O> extends FastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O> implements MutableMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>, DOTPlottableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
inputAlphabet
Constructor and Description |
---|
FastMealy(Alphabet<I> alphabet)
Constructor.
|
addState, clear, createDynamicNodeMapping, createDynamicStateMapping, createStaticNodeMapping, createStaticStateMapping, getEdgeProperty, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransition, nodeIDs, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs
removeState
addInitialState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator, size
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
setInitialState, setTransition, setTransition
addInitialState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
getInputAlphabet
public FastMealyState<O> getSuccessor(MealyTransition<FastMealyState<O>,O> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
transition
- the transition.public boolean trace(Iterable<? extends I> input, List<? super O> output)
trace
in interface DeterministicTransitionOutputTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
public boolean trace(FastMealyState<O> state, Iterable<? extends I> input, List<? super O> output)
trace
in interface DeterministicTransitionOutputTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
public O getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)
getTransitionOutput
in interface TransitionOutput<MealyTransition<FastMealyState<O>,O>,O>
public Void getStateProperty(FastMealyState<O> state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
state
- the state.public O getTransitionProperty(MealyTransition<FastMealyState<O>,O> transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
transition
- the transition.public void setStateProperty(FastMealyState<O> state, Void property)
setStateProperty
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public void setTransitionProperty(MealyTransition<FastMealyState<O>,O> transition, O property)
setTransitionProperty
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public MealyTransition<FastMealyState<O>,O> createTransition(FastMealyState<O> successor, O properties)
createTransition
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public MealyTransition<FastMealyState<O>,O> copyTransition(MealyTransition<FastMealyState<O>,O> trans, FastMealyState<O> succ)
copyTransition
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public void setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition, O output)
setTransitionOutput
in interface MutableTransitionOutput<MealyTransition<FastMealyState<O>,O>,O>
protected FastMealyState<O> createState(Void property)
createState
in class FastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public Word<O> computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Word<O>>
public Word<O> computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,Word<O>>
public FastMealyState<O> addInitialState()
addInitialState
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
addInitialState
in class AbstractMutableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public FastMealyState<O> addState()
addState
in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
addState
in class AbstractMutableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public O getOutput(FastMealyState<O> state, I input)
DeterministicTransitionOutputTS
TransitionOutput.getTransitionOutput(Object)
on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object)
, however
it should be noted that this function does not allow distinguishing between
a null
output and an undefined transition.getOutput
in interface DeterministicTransitionOutputTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
state
- the source stateinput
- the input symbolnull
if the transition is undefined)public GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>> getDOTHelper()
getDOTHelper
in interface DOTPlottableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
Copyright © 2015. All rights reserved.