Uses of Class
net.automatalib.ts.modal.CompactMTS

Packages that use CompactMTS

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

Uses of CompactMTS in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot that return types with arguments of type CompactMTS

Modifier and Type	Method	Description
static DOTInputModelDeserializer<Integer,@Nullable String,CompactMTS<@Nullable String>>	DOTParsers.mts()	Default parser for ModalTransitionSystems serialized by AutomataLib.

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

Methods in net.automatalib.util.ts.modal that return CompactMTS

Modifier and Type	Method	Description
static <S0,S1,I> CompactMTS<I>	MTSs.compose(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)
static <S0,S1,I> CompactMTS<I>	MTSs.conjunction(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)