public abstract class AbstractFastMutableDet<S extends AbstractFastDetState<S,T>,I,T,SP,TP> extends Object implements ShrinkableDeterministic<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, StateIDs<S>, GrowableAlphabetAutomaton<I>, Serializable
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
inputAlphabet |
Constructor and Description |
---|
AbstractFastMutableDet(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
void |
addAlphabetSymbol(I symbol)
Adds a new symbol to the alphabet of the automaton.
|
S |
addState(SP property)
Adds a state to the automaton.
|
void |
clear()
Removes all states and transitions.
|
<V> MutableMapping<S,V> |
createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
protected abstract S |
createState(SP property) |
<V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
S |
getInitialState()
Retrieves the initial state of this transition system.
|
Alphabet<I> |
getInputAlphabet() |
S |
getState(int id) |
int |
getStateId(S state) |
Collection<S> |
getStates()
Retrieves all states of the transition system.
|
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 |
removeAllTransitions(S state) |
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.
|
StateIDs<S> |
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, addTransition, addTransitions, copyTransition, createTransition, setStateProperty, setTransitionProperty
transitionGraphView
iterator, size
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor
getSuccessors
transitionGraphView
graphView
public int getStateId(S state)
getStateId
in interface StateIDs<S extends AbstractFastDetState<S,T>>
public S getState(int id)
public void setTransition(S state, I input, T transition)
MutableDeterministic
setTransition
in interface MutableDeterministic<S extends AbstractFastDetState<S,T>,I,T,SP,TP>
state
- the source stateinput
- the triggering input symboltransition
- the transitionpublic S getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<S extends AbstractFastDetState<S,T>,I>
SimpleTS.getInitialStates()
public void setInitialState(S state)
MutableDeterministic
null
can be
passed.setInitialState
in interface MutableDeterministic<S extends AbstractFastDetState<S,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 AbstractFastDetState<S,T>,I,T>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public void clear()
MutableAutomaton
clear
in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>
public S addState(SP property)
MutableAutomaton
addState
in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>
public void removeAllTransitions(S state)
removeAllTransitions
in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>
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 AbstractFastDetState<S,T>,I,T,SP,TP>
state
- the state to removereplacement
- the replacement state, or null
public Alphabet<I> getInputAlphabet()
getInputAlphabet
in interface InputAlphabetHolder<I>
public <V> MutableMapping<S,V> createDynamicStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping maintains the association even when the transition system is modified.createDynamicStateMapping
in interface SimpleTS<S extends AbstractFastDetState<S,T>,I>
public void addAlphabetSymbol(I symbol)
GrowableAlphabetAutomaton
addAlphabetSymbol
in interface GrowableAlphabetAutomaton<I>
symbol
- The symbol to add to the alphabet.public Collection<S> getStates()
SimpleAutomaton
getStates
in interface SimpleAutomaton<S extends AbstractFastDetState<S,T>,I>
public <V> MutableMapping<S,V> createStaticStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping is however only guaranteed to work correctly if the transition system is not modified.createStaticStateMapping
in interface SimpleAutomaton<S extends AbstractFastDetState<S,T>,I>
createStaticStateMapping
in interface SimpleTS<S extends AbstractFastDetState<S,T>,I>
public StateIDs<S> stateIDs()
stateIDs
in interface SimpleAutomaton<S extends AbstractFastDetState<S,T>,I>
public DeterministicPowersetView<S,I,T> powersetView()
TransitionSystem
powersetView
in interface TransitionSystem<S extends AbstractFastDetState<S,T>,I,T>
Copyright © 2018. All rights reserved.