public abstract class FastMutableNondet<S extends FastNondetState<S,T>,I,T,SP,TP> extends AbstractShrinkableAutomaton<S,I,T,SP,TP> implements FiniteAlphabetAutomaton<S,I,T>, UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, StateIDs<S>, NodeIDs<S>
| Modifier and Type | Field and Description |
|---|---|
protected Alphabet<I> |
inputAlphabet |
| Constructor and Description |
|---|
FastMutableNondet(Alphabet<I> inputAlphabet) |
removeState, removeState, unlinkStateaddInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransitioniterator, iterator, size, size, stateIDscreateDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetSuccessor, powersetViewsizegetStates, getSuccessors, getSuccessors, getSuccessorsaddInitialState, addInitialState, addState, addTransition, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, removeTransition, setStateProperty, setTransitionPropertygetStateProperty, getTransitionPropertyprotected Alphabet<I> inputAlphabet
public FastMutableNondet(Alphabet<I> inputAlphabet)
public Collection<S> getStates()
getStates in interface SimpleAutomaton<S extends FastNondetState<S,T>,I>public int getStateId(S state)
getStateId in interface StateIDs<S extends FastNondetState<S,T>>public Set<S> getInitialStates()
getInitialStates in interface SimpleTS<S extends FastNondetState<S,T>,I>public Collection<T> getTransitions(S state, I input)
getTransitions in interface TransitionSystem<S extends FastNondetState<S,T>,I,T>public void clear()
clear in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public S addState(SP property)
addState in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public void setInitial(S state, boolean initial)
setInitial in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public void removeState(S state, S replacement)
removeState in interface ShrinkableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public void removeAllTransitions(S state)
removeAllTransitions in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public void setTransitions(S state, I input, Collection<? extends T> transitions)
setTransitions in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>public Alphabet<I> getInputAlphabet()
getInputAlphabet in interface InputAlphabetHolder<I>public StateIDs<S> stateIDs()
stateIDs in interface SimpleAutomaton<S extends FastNondetState<S,T>,I>stateIDs in class AbstractAutomaton<S extends FastNondetState<S,T>,I,T>public <V> MutableMapping<S,V> createStaticStateMapping()
createStaticStateMapping in interface SimpleTS<S extends FastNondetState<S,T>,I>createStaticStateMapping in class AbstractTS<S extends FastNondetState<S,T>,I,T>public <V> MutableMapping<S,V> createDynamicStateMapping()
createDynamicStateMapping in interface SimpleTS<S extends FastNondetState<S,T>,I>createDynamicStateMapping in class AbstractTS<S extends FastNondetState<S,T>,I,T>public <V> MutableMapping<S,V> createStaticNodeMapping()
createStaticNodeMapping in interface IndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public <V> MutableMapping<S,V> createDynamicNodeMapping()
createDynamicNodeMapping in interface IndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public Collection<S> getNodes()
getNodes in interface Graph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)
getOutgoingEdges in interface IndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public S getTarget(TransitionEdge<I,T> edge)
getTarget in interface IndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public NodeIDs<S> nodeIDs()
nodeIDs in interface Graph<S extends FastNondetState<S,T>,TransitionEdge<I,T>>public SP getNodeProperty(S node)
getNodeProperty in interface UniversalIndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>public TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)
getEdgeProperty in interface UniversalIndefiniteGraph<S extends FastNondetState<S,T>,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>protected abstract S createState(SP property)
Copyright © 2013. All Rights Reserved.