Uses of Interface
net.automatalib.ts.modal.transition.ModalEdgeProperty

Packages that use ModalEdgeProperty

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

Uses of ModalEdgeProperty in net.automatalib.automaton.visualization

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

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

Uses of ModalEdgeProperty in net.automatalib.ts.modal

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

Modifier and Type	Interface	Description
interface	ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
static class	ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

Uses of ModalEdgeProperty in net.automatalib.ts.modal.transition

Subinterfaces of ModalEdgeProperty in net.automatalib.ts.modal.transition

Modifier and Type	Interface	Description
interface	MutableModalEdgeProperty
interface	MutableProceduralModalEdgeProperty
interface	ProceduralModalEdgeProperty