public interface PowersetViewTS<S,I,T,OS,OT> extends DeterministicTransitionSystem<S,I,T>
Modifier and Type | Method and Description |
---|---|
Collection<OS> |
getOriginalStates(S state) |
Collection<OT> |
getOriginalTransitions(T transition) |
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
Collection<OS> getOriginalStates(S state)
Collection<OT> getOriginalTransitions(T transition)
Copyright © 2018. All rights reserved.