public abstract class FastMutableDet<S extends FastDetState<S,T>,I,T,SP,TP> extends Object implements ShrinkableDeterministic<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, StateIDs<S>
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
inputAlphabet |
Constructor and Description |
---|
FastMutableDet(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
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.
|
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, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions
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, powersetView
getSuccessors
transitionGraphView
graphView
public Collection<S> getStates()
SimpleAutomaton
getStates
in interface SimpleAutomaton<S extends FastDetState<S,T>,I>
public S getState(int id)
public int getStateId(S state)
getStateId
in interface StateIDs<S extends FastDetState<S,T>>
public void setInitialState(S state)
MutableDeterministic
null
can be passed.setInitialState
in interface MutableDeterministic<S extends FastDetState<S,T>,I,T,SP,TP>
state
- the new initial state, or null
.public void setTransition(S state, I input, T transition)
MutableDeterministic
setTransition
in interface MutableDeterministic<S extends FastDetState<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 FastDetState<S,T>,I>
SimpleTS.getInitialStates()
public T getTransition(S state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<S extends FastDetState<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 FastDetState<S,T>,I,T,SP,TP>
public S addState(SP property)
MutableAutomaton
addState
in interface MutableAutomaton<S extends FastDetState<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 FastDetState<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 void removeAllTransitions(S state)
removeAllTransitions
in interface MutableAutomaton<S extends FastDetState<S,T>,I,T,SP,TP>
public StateIDs<S> stateIDs()
stateIDs
in interface SimpleAutomaton<S extends FastDetState<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 FastDetState<S,T>,I>
createStaticStateMapping
in interface SimpleTS<S extends FastDetState<S,T>,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 FastDetState<S,T>,I>
Copyright © 2015. All rights reserved.