public abstract class AbstractMealyMachine<S,I,T,O> extends AbstractDeterministicAutomaton<S,I,T> implements MealyMachine<S,I,T,O>
Constructor and Description |
---|
AbstractMealyMachine() |
Modifier and Type | Method and Description |
---|---|
Word<O> |
computeOutput(Iterable<? extends I> input) |
Word<O> |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
static <S,I,T,O> T |
copyTransition(MutableMealyMachine<S,I,T,O> $this,
T transition,
S succ) |
O |
getOutput(S state,
I input)
Retrieves the output for the given input symbol in the given state.
|
static <S,I,T,O> Void |
getStateProperty(MealyMachine<S,I,T,O> $this,
S state) |
Void |
getStateProperty(S state)
Retrieves the state property for the given state.
|
static <S,I,T,O> O |
getTransitionProperty(MealyMachine<S,I,T,O> $this,
T transition) |
O |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
static <S,I,T,O> void |
setStateProperty(MutableMealyMachine<S,I,T,O> $this,
S state,
Void property) |
static <S,I,T,O> void |
setTransitionProperty(MutableMealyMachine<S,I,T,O> $this,
T transition,
O property) |
boolean |
trace(Iterable<? extends I> input,
List<? super O> output) |
boolean |
trace(S state,
Iterable<? extends I> input,
List<? super O> output) |
createStaticStateMapping, iterator, size, stateIDs
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, 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
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
getTransitionOutput
public static <S,I,T,O> Void getStateProperty(MealyMachine<S,I,T,O> $this, S state)
public static <S,I,T,O> O getTransitionProperty(MealyMachine<S,I,T,O> $this, T transition)
public static <S,I,T,O> void setStateProperty(MutableMealyMachine<S,I,T,O> $this, S state, Void property)
public static <S,I,T,O> void setTransitionProperty(MutableMealyMachine<S,I,T,O> $this, T transition, O property)
public static <S,I,T,O> T copyTransition(MutableMealyMachine<S,I,T,O> $this, T transition, S succ)
public O getOutput(S state, I input)
DeterministicTransitionOutputTS
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.public Word<O> computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,Word<O>>
public Void getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,T,Void,O>
state
- the state.public O getTransitionProperty(T transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,T,Void,O>
transition
- the transition.Copyright © 2015. All rights reserved.