I
- input symbol class.O
- output symbol class.public final class FastMoore<I,O> extends AbstractFastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void> implements MutableMooreMachine<FastMooreState<O>,I,FastMooreState<O>,O>
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
inputAlphabet
Modifier and Type | Method and Description |
---|---|
protected FastMooreState<O> |
createState(O property) |
FastMooreState<O> |
createTransition(FastMooreState<O> successor,
Void properties) |
O |
getStateOutput(FastMooreState<O> state) |
FastMooreState<O> |
getSuccessor(FastMooreState<O> transition)
Retrieves the successor state of a given transition.
|
void |
setStateOutput(FastMooreState<O> state,
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
transitionGraphView
computeStateOutput
computeOutput, computeSuffixOutput
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
getSuccessors
getStateProperty, getTransitionProperty, getTransitionProperty
trace
trace
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
removeState, unlinkState
transitionGraphView
graphView
public FastMooreState<O> getSuccessor(FastMooreState<O> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastMooreState<O>,I,FastMooreState<O>>
transition
- the transition.public O getStateOutput(FastMooreState<O> state)
getStateOutput
in interface StateOutput<FastMooreState<O>,O>
public FastMooreState<O> createTransition(FastMooreState<O> successor, Void properties)
createTransition
in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
public void setStateOutput(FastMooreState<O> state, O output)
setStateOutput
in interface MutableStateOutput<FastMooreState<O>,O>
protected FastMooreState<O> createState(O property)
createState
in class AbstractFastMutable<FastMooreState<O>,I,FastMooreState<O>,O,Void>
Copyright © 2020. All rights reserved.