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