I
- input symbol class.O
- output symbol class.public class FastMealy<I,O> extends AbstractFastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O> implements MutableMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>, StateLocalInputMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
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) |
clear, getInitialState, getLocalInputs, getTransition, powersetView, removeState, setInitialState, setTransition
addAlphabetSymbol, addState, createDynamicStateMapping, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
setStateProperty, setTransitionProperty
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
transitionGraphView
computeStateOutput
computeOutput, computeSuffixOutput
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace
trace
getTransitionProperty
getLocalInputs
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 AbstractFastMutable<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
Copyright © 2020. All rights reserved.