public abstract class AbstractMutableNFA<S,I> extends AbstractMutableAutomaton<S,I,S,Boolean,Void> implements MutableNFA<S,I>, DOTPlottableAutomaton<S,I,S>
STATE_PROPERTIES, TRANSITION_PROPERTIES| Constructor and Description |
|---|
AbstractMutableNFA() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
accepts(Iterable<I> input) |
S |
copyTransition(S trans,
S succ) |
S |
createTransition(S successor,
Void properties) |
void |
flipAcceptance() |
S |
getSuccessor(S transition) |
boolean |
isAccepting(Collection<? extends S> states) |
void |
setStateProperty(S state,
Boolean property) |
void |
setTransitionProperty(S transition,
Void property) |
addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransitioniterator, iterator, size, size, stateIDs, stateIDscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaddInitialState, addState, setAcceptingisAcceptingcomputeSuffixOutputcomputeOutputaddInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitionsgetStates, size, stateIDsgetStateProperty, getTransitionPropertygetTransitions, powersetViewcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorsgetDOTHelpergetInputAlphabetpublic AbstractMutableNFA()
public boolean isAccepting(Collection<? extends S> states)
isAccepting in interface NFA<S,I>public S getSuccessor(S transition)
getSuccessor in interface TransitionSystem<S,I,S>public boolean accepts(Iterable<I> input)
accepts in interface AcceptorTS<S,I>public void setStateProperty(S state, Boolean property)
setStateProperty in interface MutableAutomaton<S,I,S,Boolean,Void>public void setTransitionProperty(S transition, Void property)
setTransitionProperty in interface MutableAutomaton<S,I,S,Boolean,Void>public S createTransition(S successor, Void properties)
createTransition in interface MutableAutomaton<S,I,S,Boolean,Void>public S copyTransition(S trans, S succ)
copyTransition in interface MutableAutomaton<S,I,S,Boolean,Void>public void flipAcceptance()
flipAcceptance in interface MutableFSA<S,I>Copyright © 2013. All Rights Reserved.