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

Packages that use ModalTransitionSystem

Package	Description
net.automatalib.automaton.visualization
net.automatalib.ts.modal
net.automatalib.util.ts.modal

Uses of ModalTransitionSystem in net.automatalib.automaton.visualization

Classes in net.automatalib.automaton.visualization with type parameters of type ModalTransitionSystem

Modifier and Type	Class	Description
class	MTSVisualizationHelper<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

Uses of ModalTransitionSystem in net.automatalib.ts.modal

Classes in net.automatalib.ts.modal with type parameters of type ModalTransitionSystem

Modifier and Type	Class	Description
static class	ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

Subinterfaces of ModalTransitionSystem in net.automatalib.ts.modal

Modifier and Type	Interface	Description
interface	MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>	A mutable version of ModalTransitionSystem that allows to add states and transitions.

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

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

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

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

Modifier and Type	Method	Description
static <S0,S1,I> CompactMTS<I>	MTSs.compose(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)
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 <S0,S1,I> CompactMTS<I>	MTSs.conjunction(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1)
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)
static <AS,BS,I> boolean	MTSs.isRefinementOf(ModalTransitionSystem<AS,I,?,?> a, ModalTransitionSystem<BS,I,?,?> b, Collection<I> input)
static <AS,BS,I> Set<Pair<AS,BS>>	ModalRefinement.refinementRelation(ModalTransitionSystem<AS,I,?,?> implementation, ModalTransitionSystem<BS,I,?,?> specification, Collection<I> inputs)