Class ModalEdgePropertyImpl
- java.lang.Object
-
- net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
-
- All Implemented Interfaces:
ModalEdgeProperty
,MutableModalEdgeProperty
- Direct Known Subclasses:
ProceduralModalEdgePropertyImpl
public class ModalEdgePropertyImpl extends Object implements MutableModalEdgeProperty
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty
ModalEdgeProperty.ModalType
-
-
Constructor Summary
Constructors Constructor Description ModalEdgePropertyImpl(ModalEdgeProperty.ModalType modalType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
ModalEdgeProperty.ModalType
getModalType()
int
hashCode()
void
setModalType(ModalEdgeProperty.ModalType type)
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty
isMayOnly, isMust
-
Methods inherited from interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty
setMayOnly, setMust
-
-
-
-
Constructor Detail
-
ModalEdgePropertyImpl
public ModalEdgePropertyImpl(ModalEdgeProperty.ModalType modalType)
-
-
Method Detail
-
getModalType
public ModalEdgeProperty.ModalType getModalType()
- Specified by:
getModalType
in interfaceModalEdgeProperty
-
setModalType
public void setModalType(ModalEdgeProperty.ModalType type)
- Specified by:
setModalType
in interfaceMutableModalEdgeProperty
-
-