public abstract static class AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T> extends AbstractDTS<S,I,T> implements IncrementalMealyBuilder.TransitionSystemView<I,O,S,T>
Constructor and Description |
---|
AbstractTransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
O |
getOutput(S state,
I input)
Retrieves the output for the given input symbol in the given state.
|
Void |
getStateProperty(S state)
Retrieves the state property for the given state.
|
O |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
boolean |
trace(Iterable<? extends I> input,
List<? super O> output) |
boolean |
trace(S state,
Iterable<? extends I> input,
List<? super O> output) |
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionOutput
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
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 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.