protected abstract static class AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> extends Object 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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAcceptance
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, 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.