public interface DFA<S,I> extends UniversalDeterministicAutomaton<S,I,S,Boolean,Void>, DeterministicAcceptorTS<S,I>, FiniteStateAcceptor<S,I>, SODetOutputAutomaton<S,I,S,Boolean>
STATE_PROPERTIES, TRANSITION_PROPERTIES
accepts, isAccepting
getStateProperty, getTransitionProperty
computeOutput
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
computeSuffixOutput
Copyright © 2015. All Rights Reserved.