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 Details

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)