public abstract class AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP> extends AbstractFastMutable<S,I,T,SP,TP>
inputAlphabet
Constructor and Description |
---|
AbstractFastMutableNondet(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Removes all states and transitions.
|
Set<S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Collection<I> |
getLocalInputs(S state)
Returns the collection of input symbols for which a successor state is defined.
|
Collection<T> |
getTransitions(S state,
I input)
Retrieves the transitions that can be triggered by the given input symbol.
|
FastPowersetDTS<S,I,T> |
powersetView()
Retrieves a "powerset view" of this transition system.
|
void |
removeState(S state,
S replacement)
Removes a state from the automaton.
|
void |
setInitial(S state,
boolean initial) |
void |
setTransitions(S state,
I input,
Collection<? extends T> transitions) |
addAlphabetSymbol, addState, createDynamicStateMapping, createState, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
removeState, unlinkState
addInitialState, addInitialState, addState, addTransition, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, removeTransition, setStateProperty, setTransitionProperty
transitionGraphView
createStaticStateMapping, iterator, size
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors
getStates, getSuccessors, getSuccessors
transitionGraphView
graphView
public Set<S> getInitialStates()
SimpleTS
public Collection<T> getTransitions(S state, I input)
TransitionSystem
The return value must not be null
; if there are no transitions triggered by the specified input, Collections.emptySet()
should be returned.
state
- the source state.input
- the input symbol.public void clear()
MutableAutomaton
clear
in interface MutableAutomaton<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
clear
in class AbstractFastMutable<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
public void setInitial(S state, boolean initial)
public void setTransitions(S state, I input, Collection<? extends T> transitions)
public void removeState(S state, S replacement)
ShrinkableAutomaton
null
replacement is given, then this method behaves like the above ShrinkableAutomaton.removeState(Object)
.removeState
in interface ShrinkableAutomaton<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
removeState
in class AbstractFastMutable<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
state
- the state to removereplacement
- the replacement state, or null
public FastPowersetDTS<S,I,T> powersetView()
TransitionSystem
public Collection<I> getLocalInputs(S state)
StateLocalInput
state
- the state for which the defined inputs should be returnedCopyright © 2019. All rights reserved.