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>
inputAlphabet
Modifier and Type | Method and Description |
---|---|
Word<O> |
computeOutput(Iterable<I> input) |
Word<O> |
computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
FastMooreState<O> |
copyTransition(FastMooreState<O> trans,
FastMooreState<O> succ) |
protected FastMooreState<O> |
createState(O property) |
FastMooreState<O> |
createTransition(FastMooreState<O> successor,
Void properties) |
O |
getOutput(FastMooreState<O> state,
I input)
Retrieves the output for the given input symbol in the given state.
|
O |
getStateOutput(FastMooreState<O> state) |
O |
getStateProperty(FastMooreState<O> state)
Retrieves the state property for the given state.
|
FastMooreState<O> |
getSuccessor(FastMooreState<O> transition)
Retrieves the successor state of a given transition.
|
O |
getTransitionOutput(FastMooreState<O> transition) |
Void |
getTransitionProperty(FastMooreState<O> transition)
Retrieves the transition property for the given state.
|
void |
setStateOutput(FastMooreState<O> state,
O output) |
void |
setStateProperty(FastMooreState<O> state,
O property) |
void |
setTransitionProperty(FastMooreState<O> transition,
Void property) |
void |
trace(FastMooreState<O> state,
Iterable<I> input,
List<O> output) |
void |
trace(Iterable<I> input,
List<O> output) |
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, addInitialState, addState, 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, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
public FastMooreState<O> getSuccessor(FastMooreState<O> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastMooreState<O>,I,FastMooreState<O>>
transition
- the transition.public void trace(Iterable<I> input, List<O> output)
trace
in interface TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>
public void trace(FastMooreState<O> state, Iterable<I> input, List<O> output)
trace
in interface TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>
public O getTransitionOutput(FastMooreState<O> transition)
getTransitionOutput
in interface TransitionOutput<FastMooreState<O>,O>
public O getStateOutput(FastMooreState<O> state)
getStateOutput
in interface StateOutput<FastMooreState<O>,O>
public void setStateProperty(FastMooreState<O> state, O property)
setStateProperty
in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
public void setTransitionProperty(FastMooreState<O> transition, Void property)
setTransitionProperty
in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
public FastMooreState<O> createTransition(FastMooreState<O> successor, Void properties)
createTransition
in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
public FastMooreState<O> copyTransition(FastMooreState<O> trans, FastMooreState<O> succ)
copyTransition
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>
public O getStateProperty(FastMooreState<O> state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O,Void>
state
- the state.public Void getTransitionProperty(FastMooreState<O> transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O,Void>
transition
- the transition.public Word<O> computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Word<O>>
public Word<O> computeOutput(Iterable<I> input)
computeOutput
in interface Output<I,Word<O>>
public O getOutput(FastMooreState<O> state, I input)
TransitionOutputAutomaton
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 TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>
state
- the source stateinput
- the input symbolnull
if the transition is undefined)Copyright © 2015. All Rights Reserved.