Package net.automatalib.ts.modal

Interface MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>

Type Parameters:

S - state type

I - input symbol type

T - transition type

TP - (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 of ModalTransitionSystem 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

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