S
- state class.I
- input symbol class.T
- transition class.SP
- state property.TP
- transition property.public interface MutableDeterministic<S,I,T,SP,TP> extends UniversalDeterministicAutomaton<S,I,T,SP,TP>, MutableAutomaton<S,I,T,SP,TP>
Modifier and Type | Interface and Description |
---|---|
static interface |
MutableDeterministic.FullIntAbstraction<T,SP,TP> |
static interface |
MutableDeterministic.IntAbstraction<T,SP,TP> |
static interface |
MutableDeterministic.StateIntAbstraction<I,T,SP,TP> |
Modifier and Type | Method and Description |
---|---|
default void |
addTransition(S state,
I input,
T transition) |
default MutableDeterministic.FullIntAbstraction<T,SP,TP> |
fullIntAbstraction(Alphabet<I> alphabet)
Retrieves a
SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the
abstraction for the input symbols. |
default MutableDeterministic.FullIntAbstraction<T,SP,TP> |
fullIntAbstraction(int numInputs,
IntFunction<? extends I> symMapping)
Retrieves a
SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the
inputs mapping. |
default void |
removeAllTransitions(S state,
I input) |
default void |
removeTransition(S state,
I input,
T transition) |
default void |
setInitial(S state,
boolean initial) |
void |
setInitialState(S state)
Sets the initial state to the given state.
|
default void |
setTransition(S state,
I input,
S successor,
TP property)
Sets the transition for the given state and input symbol to a newly created one.
|
void |
setTransition(S state,
I input,
T transition)
Sets the transition for the given state and input symbol.
|
default void |
setTransitions(S state,
I input,
Collection<? extends T> transitions) |
default MutableDeterministic.StateIntAbstraction<I,T,SP,TP> |
stateIntAbstraction()
Retrieves a
SimpleDeterministicAutomaton.StateIntAbstraction of this automaton. |
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
transitionGraphView
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, powersetView
getSuccessors
default void setInitial(S state, boolean initial)
setInitial
in interface MutableAutomaton<S,I,T,SP,TP>
default void setTransitions(S state, I input, Collection<? extends T> transitions)
setTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
default void removeTransition(S state, I input, T transition)
removeTransition
in interface MutableAutomaton<S,I,T,SP,TP>
default void removeAllTransitions(S state, I input)
removeAllTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
default void addTransition(S state, I input, T transition)
addTransition
in interface MutableAutomaton<S,I,T,SP,TP>
void setInitialState(S state)
null
can be
passed.state
- the new initial state, or null
.void setTransition(S state, I input, T transition)
state
- the source stateinput
- the triggering input symboltransition
- the transitiondefault void setTransition(S state, I input, S successor, TP property)
state
- the source stateinput
- the triggering input symbolsuccessor
- the target stateproperty
- the transition's propertydefault MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction(Alphabet<I> alphabet)
SimpleDeterministicAutomaton
SimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the mapping induced by the given alphabet as the
abstraction for the input symbols.
This method is provided for convenience. It is equivalent to calling fullIntAbstraction(alphabet.size(),
alphabet)
.
fullIntAbstraction
in interface DeterministicAutomaton<S,I,T>
fullIntAbstraction
in interface SimpleDeterministicAutomaton<S,I>
fullIntAbstraction
in interface UniversalDeterministicAutomaton<S,I,T,SP,TP>
alphabet
- the alphabet inducing the abstractionSimpleDeterministicAutomaton.FullIntAbstraction
default MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)
SimpleDeterministicAutomaton
SimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the given number of (abstract) inputs and the
inputs mapping.fullIntAbstraction
in interface DeterministicAutomaton<S,I,T>
fullIntAbstraction
in interface SimpleDeterministicAutomaton<S,I>
fullIntAbstraction
in interface UniversalDeterministicAutomaton<S,I,T,SP,TP>
numInputs
- the number of inputs represented in the full abstractionsymMapping
- the mapping from integers in the range [0, numInputs - 1]
to input symbols.SimpleDeterministicAutomaton.FullIntAbstraction
default MutableDeterministic.StateIntAbstraction<I,T,SP,TP> stateIntAbstraction()
SimpleDeterministicAutomaton
SimpleDeterministicAutomaton.StateIntAbstraction
of this automaton.stateIntAbstraction
in interface DeterministicAutomaton<S,I,T>
stateIntAbstraction
in interface SimpleDeterministicAutomaton<S,I>
stateIntAbstraction
in interface UniversalDeterministicAutomaton<S,I,T,SP,TP>
SimpleDeterministicAutomaton.StateIntAbstraction
Copyright © 2020. All rights reserved.