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>
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
inputAlphabet
Constructor and Description |
---|
FastMealy(Alphabet<I> alphabet)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected FastMealyState<O> |
createState(Void property) |
MealyTransition<FastMealyState<O>,O> |
createTransition(FastMealyState<O> successor,
O properties) |
FastMealyState<O> |
getSuccessor(MealyTransition<FastMealyState<O>,O> transition)
Retrieves the successor state of a given transition.
|
O |
getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition) |
void |
setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition,
O output) |
addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialState, getInputAlphabet, getState, getStateId, getStates, getTransition, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
setStateProperty, setTransitionProperty
transitionGraphView
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace, trace
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
removeState, unlinkState
transitionGraphView
graphView
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 O getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)
getTransitionOutput
in interface TransitionOutput<MealyTransition<FastMealyState<O>,O>,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 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>
Copyright © 2015. All rights reserved.