@ParametersAreNonnullByDefault public interface NFA<S,I> extends FiniteStateAcceptor<S,I>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Modifier and Type | Method and Description |
---|---|
default boolean |
isAccepting(Collection<? extends S> states) |
computeOutput, computeSuffixOutput, transitionGraphView
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting
getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
default boolean isAccepting(Collection<? extends S> states)
isAccepting
in interface AcceptorTS<S,I>
Copyright © 2015. All rights reserved.