Module net.automatalib.util

Package net.automatalib.util.ts.modal

Class MTSs

java.lang.Object

net.automatalib.util.ts.modal.MTSs

public final class MTSs
extends Object

Operations on ModalTransitionSystems.

Method Summary

Modifier and Type	Method	Description
static <S0,S1,I> CompactMTS<I>	compose(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> A	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>	composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <S0,S1,I> CompactMTS<I>	conjunction(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> A	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>	conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <AS,BS,I> boolean	isRefinementOf(ModalTransitionSystem<AS,I,?,?> a, ModalTransitionSystem<BS,I,?,?> b, Collection<I> input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

conjunction

public static <S0,S1,I> CompactMTS<I> conjunction(ModalTransitionSystem<S0,I,?,?> mts0,
                                                              ModalTransitionSystem<S1,I,?,?> mts1)

conjunction

public static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> A conjunction(ModalTransitionSystem<S0,I,?,?> mts0,
                                                                                                                                          ModalTransitionSystem<S1,I,?,?> mts1,
                                                                                                                                          AutomatonCreator<A,I> creator)

conjunctionWithMapping

public static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> Pair<Map<Pair<S0,S1>,S>,A> conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0,
                                                                                                                                                                                                ModalTransitionSystem<S1,I,?,?> mts1,
                                                                                                                                                                                                AutomatonCreator<A,I> creator)

compose

public static <S0,S1,I> CompactMTS<I> compose(ModalTransitionSystem<S0,I,?,?> mts0,
                                                          ModalTransitionSystem<S1,I,?,?> mts1)

compose

public static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> A compose(ModalTransitionSystem<S0,I,?,?> mts0,
                                                                                                                              ModalTransitionSystem<S1,I,?,?> mts1,
                                                                                                                              AutomatonCreator<A,I> creator)

composeWithMapping

public static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> Pair<Map<Pair<S0,S1>,S>,A> composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0,
                                                                                                                                                                                    ModalTransitionSystem<S1,I,?,?> mts1,
                                                                                                                                                                                    AutomatonCreator<A,I> creator)

isRefinementOf

public static <AS,BS,I> boolean isRefinementOf(ModalTransitionSystem<AS,I,?,?> a,
                                                           ModalTransitionSystem<BS,I,?,?> b,
                                                           Collection<I> input)