public abstract class AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP> extends AbstractFastMutable<S,I,T,SP,TP> implements ShrinkableDeterministic<S,I,T,SP,TP>, Serializable
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
inputAlphabet
Constructor and Description |
---|
AbstractFastMutableDet(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Removes all states and transitions.
|
S |
getInitialState()
Retrieves the initial state of this transition system.
|
Collection<I> |
getLocalInputs(S state)
Returns the collection of input symbols for which a successor state is defined.
|
T |
getTransition(S state,
I input)
Retrieves the transition triggered by the given input symbol.
|
DeterministicPowersetView<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 |
setInitialState(S state)
Sets the initial state to the given state.
|
void |
setTransition(S state,
I input,
T transition)
Sets the transition for the given state and input symbol.
|
addAlphabetSymbol, addState, createDynamicStateMapping, createState, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
removeState, unlinkState
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
transitionGraphView
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor
getSuccessors
transitionGraphView
graphView
public void setTransition(S state, I input, T transition)
MutableDeterministic
setTransition
in interface MutableDeterministic<S extends AbstractFastState<T>,I,T,SP,TP>
state
- the source stateinput
- the triggering input symboltransition
- the transitionpublic S getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<S extends AbstractFastState<T>,I>
SimpleTS.getInitialStates()
public void setInitialState(S state)
MutableDeterministic
null
can be
passed.setInitialState
in interface MutableDeterministic<S extends AbstractFastState<T>,I,T,SP,TP>
state
- the new initial state, or null
.public T getTransition(S state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<S extends AbstractFastState<T>,I,T>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
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<T>,I,T,SP,TP>
removeState
in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>
state
- the state to removereplacement
- the replacement state, or null
public void clear()
MutableAutomaton
clear
in interface MutableAutomaton<S extends AbstractFastState<T>,I,T,SP,TP>
clear
in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>
public DeterministicPowersetView<S,I,T> powersetView()
TransitionSystem
powersetView
in interface TransitionSystem<S extends AbstractFastState<T>,I,T>
public Collection<I> getLocalInputs(S state)
StateLocalInput
getLocalInputs
in interface StateLocalInput<S extends AbstractFastState<T>,I>
state
- the state for which the defined inputs should be returnedCopyright © 2020. All rights reserved.