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 |
|---|
AbstractIncrementalMealyBuilder.AbstractTransitionSystemView() |
| Modifier and Type | Method and Description |
|---|---|
O |
getOutput(S state,
I input) |
Void |
getStateProperty(S state) |
O |
getTransitionProperty(T transition) |
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, getTransitionscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetTransitionOutputgetTransitiongetSuccessor, getTransitions, powersetViewgetInitialState, getState, getSuccessor, getSuccessorcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorspublic AbstractIncrementalMealyBuilder.AbstractTransitionSystemView()
public Void getStateProperty(S state)
getStateProperty in interface UniversalTransitionSystem<S,I,T,Void,O>public O getTransitionProperty(T transition)
getTransitionProperty in interface UniversalTransitionSystem<S,I,T,Void,O>Copyright © 2014. All Rights Reserved.