protected abstract static class AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> extends AbstractDTS<S,I,T> implements IncrementalDFABuilder.TransitionSystemView<S,I,T>
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractIncrementalDFABuilder.AbstractTransitionSystemView() |
| Modifier and Type | Method and Description |
|---|---|
Acceptance |
getStateProperty(S state) |
Void |
getTransitionProperty(T transition) |
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, waitgetAcceptancegetTransitiongetSuccessor, getTransitions, powersetViewgetInitialState, getState, getSuccessor, getSuccessorcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorsprotected AbstractIncrementalDFABuilder.AbstractTransitionSystemView()
public Acceptance getStateProperty(S state)
getStateProperty in interface UniversalTransitionSystem<S,I,T,Acceptance,Void>public Void getTransitionProperty(T transition)
getTransitionProperty in interface UniversalTransitionSystem<S,I,T,Acceptance,Void>Copyright © 2014. All Rights Reserved.