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<? extends I> input)
Determines whether the given input word is accepted by this acceptor.
|
S |
copyTransition(S trans,
S succ) |
S |
createTransition(S successor,
Void properties) |
void |
flipAcceptance() |
S |
getSuccessor(S transition)
Retrieves the successor state of a given 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, removeTransition
createStaticStateMapping, createStaticStateMapping, iterator, iterator, size, size, stateIDs, stateIDs
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addInitialState, addState, setAccepting
isAccepting
computeSuffixOutput
computeOutput
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
getDOTHelper
getInputAlphabet
public boolean isAccepting(Collection<? extends S> states)
isAccepting
in interface NFA<S,I>
public S getSuccessor(S transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<S,I,S>
transition
- the transition.public boolean accepts(Iterable<? extends I> input)
AcceptorTS
accepts
in interface AcceptorTS<S,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.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 © 2015. All rights reserved.