Uses of Interface
net.automatalib.ts.modal.MutableModalTransitionSystem

Packages that use MutableModalTransitionSystem

Package	Description
net.automatalib.serialization.dot
net.automatalib.ts.modal
net.automatalib.util.ts.modal

Uses of MutableModalTransitionSystem in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot with type parameters of type MutableModalTransitionSystem

Modifier and Type	Method	Description
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers.
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser, Collection<String> initialNodeIds)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers and custom initial state labels.

Uses of MutableModalTransitionSystem in net.automatalib.ts.modal

Classes in net.automatalib.ts.modal that implement MutableModalTransitionSystem

Modifier and Type	Class	Description
class	AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>	An abstract base-implementation for MutableModalTransitionSystems.
class	CompactMTS<I>

Uses of MutableModalTransitionSystem in net.automatalib.util.ts.modal

Methods in net.automatalib.util.ts.modal with type parameters of type MutableModalTransitionSystem

Modifier and Type	Method	Description
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> A	MTSs.compose(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> A	MTSs.conjunction(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)