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 |
AbstractTransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
Acceptance |
getStateProperty(S state)
Retrieves the state property for the given state.
|
Void |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
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
getAcceptance
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public Acceptance getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,T,Acceptance,Void>
state
- the state.public Void getTransitionProperty(T transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,T,Acceptance,Void>
transition
- the transition.Copyright © 2015. All rights reserved.