Uses of Class
net.automatalib.ts.modal.transition.ModalEdgeProperty.ModalType
-
Packages that use ModalEdgeProperty.ModalType Package Description net.automatalib.ts.modal net.automatalib.ts.modal.transition -
-
Uses of ModalEdgeProperty.ModalType in net.automatalib.ts.modal
Methods in net.automatalib.ts.modal with parameters of type ModalEdgeProperty.ModalType Modifier and Type Method Description T
AbstractCompactMTS. addModalTransition(Integer src, I input, Integer tgt, ModalEdgeProperty.ModalType modalType)
T
MutableModalTransitionSystem. addModalTransition(S src, I input, S tgt, ModalEdgeProperty.ModalType modalType)
protected abstract TP
AbstractCompactMTS. buildModalProperty(ModalEdgeProperty.ModalType type)
protected MutableModalEdgeProperty
CompactMTS. buildModalProperty(ModalEdgeProperty.ModalType type)
-
Uses of ModalEdgeProperty.ModalType in net.automatalib.ts.modal.transition
Methods in net.automatalib.ts.modal.transition that return ModalEdgeProperty.ModalType Modifier and Type Method Description ModalEdgeProperty.ModalType
ModalEdgeProperty. getModalType()
ModalEdgeProperty.ModalType
ModalEdgePropertyImpl. getModalType()
static ModalEdgeProperty.ModalType
ModalEdgeProperty.ModalType. valueOf(String name)
Returns the enum constant of this type with the specified name.static ModalEdgeProperty.ModalType[]
ModalEdgeProperty.ModalType. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in net.automatalib.ts.modal.transition with parameters of type ModalEdgeProperty.ModalType Modifier and Type Method Description void
ModalEdgePropertyImpl. setModalType(ModalEdgeProperty.ModalType type)
void
MutableModalEdgeProperty. setModalType(ModalEdgeProperty.ModalType type)
Constructors in net.automatalib.ts.modal.transition with parameters of type ModalEdgeProperty.ModalType Constructor Description ModalEdgePropertyImpl(ModalEdgeProperty.ModalType modalType)
ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType proceduralType, ModalEdgeProperty.ModalType modalType)
-