Uses of Package
net.automatalib.ts.modal

Packages that use net.automatalib.ts.modal

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

Classes in net.automatalib.ts.modal used by net.automatalib.automaton.visualization

Class	Description
ModalTransitionSystem	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.

Classes in net.automatalib.ts.modal used by net.automatalib.serialization.dot

Class	Description
CompactMTS
MutableModalTransitionSystem	A mutable version of ModalTransitionSystem that allows to add states and transitions.

Classes in net.automatalib.ts.modal used by net.automatalib.ts.modal

Class	Description
AbstractCompactMTS	An abstract base-implementation for MutableModalTransitionSystems.
ModalTransitionSystem	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
MTSTransition
MutableModalTransitionSystem	A mutable version of ModalTransitionSystem that allows to add states and transitions.

Classes in net.automatalib.ts.modal used by net.automatalib.util.ts.modal

Class	Description
CompactMTS
ModalTransitionSystem	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
MutableModalTransitionSystem	A mutable version of ModalTransitionSystem that allows to add states and transitions.