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 aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges. -
Classes in net.automatalib.ts.modal used by net.automatalib.serialization.dot Class Description CompactMTS MutableModalTransitionSystem A mutable version ofModalTransitionSystem
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 forMutableModalTransitionSystem
s.ModalTransitionSystem A modal transition system is aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges.MTSTransition MutableModalTransitionSystem A mutable version ofModalTransitionSystem
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 aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges.MutableModalTransitionSystem A mutable version ofModalTransitionSystem
that allows to add states and transitions.