I
- input symbol class.O
- output symbol class.public final class FastMoore<I,O> extends FastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void> implements MutableMooreMachine<FastMooreState<O>,I,FastMooreState<O>,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) |
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
getStateProperty, getTransitionOutput, getTransitionProperty
computeStateOutput
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getOutput, trace, trace
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
transitionGraphView
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 FastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void>
Copyright © 2015. All rights reserved.