Package net.automatalib.ts.modal
Interface MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>
-
- Type Parameters:
S
- state typeI
- input symbol typeT
- transition typeTP
- (specific) transition property type
- All Superinterfaces:
Automaton<S,I,T>
,FiniteAlphabetAutomaton<S,I,T>
,FiniteRepresentation
,GraphViewable
,InputAlphabetHolder<I>
,Iterable<S>
,ModalTransitionSystem<S,I,T,TP>
,MutableAutomaton<S,I,T,Void,TP>
,SimpleAutomaton<S,I>
,SimpleTS<S,I>
,TransitionSystem<S,I,T>
,UniversalAutomaton<S,I,T,Void,TP>
,UniversalFiniteAlphabetAutomaton<S,I,T,Void,TP>
,UniversalTransitionSystem<S,I,T,Void,TP>
- All Known Implementing Classes:
AbstractCompactMTS
,CompactMTS
public interface MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty> extends ModalTransitionSystem<S,I,T,TP>, MutableAutomaton<S,I,T,Void,TP>
A mutable version ofModalTransitionSystem
that allows to add states and transitions.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.ts.modal.ModalTransitionSystem
ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description T
addModalTransition(S src, I input, S tgt, ModalEdgeProperty.ModalType modalType)
T
createTransition(S successor)
Create a new transition with a default (non-null)MutableModalEdgeProperty
.-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView
-
Methods inherited from interface net.automatalib.automaton.concept.InputAlphabetHolder
getInputAlphabet
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.ts.modal.ModalTransitionSystem
iterator, size, transitionGraphView
-
Methods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getInitialStates, getStates, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, getSuccessors, getTransitions, powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem
getStateProperty, getTransitionProperty
-
-
-
-
Method Detail
-
addModalTransition
T addModalTransition(S src, I input, S tgt, ModalEdgeProperty.ModalType modalType)
-
createTransition
T createTransition(S successor)
Create a new transition with a default (non-null)MutableModalEdgeProperty
.- Parameters:
successor
- the successor of the transition- Returns:
- a new transition with a default (non-null)
MutableModalEdgeProperty
-
-