public interface DeterministicAcceptorTS<S,I> extends AcceptorTS<S,I>, UniversalDTS<S,I,S,Boolean,Void>
AcceptorTS
,
DeterministicTransitionSystem
accepts, isAccepting
getStateProperty, getTransitionProperty
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All rights reserved.