Class ProceduralModalEdgePropertyImpl
- java.lang.Object
-
- net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
-
- net.automatalib.ts.modal.transition.ProceduralModalEdgePropertyImpl
-
- All Implemented Interfaces:
ModalEdgeProperty
,MutableModalEdgeProperty
,MutableProceduralModalEdgeProperty
,ProceduralModalEdgeProperty
public class ProceduralModalEdgePropertyImpl extends ModalEdgePropertyImpl implements MutableProceduralModalEdgeProperty
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty
ModalEdgeProperty.ModalType
-
Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
ProceduralModalEdgeProperty.ProceduralType
-
-
Constructor Summary
Constructors Constructor Description ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType proceduralType, ModalEdgeProperty.ModalType modalType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
ProceduralModalEdgeProperty.ProceduralType
getProceduralType()
int
hashCode()
void
setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)
-
Methods inherited from class net.automatalib.ts.modal.transition.ModalEdgePropertyImpl
getModalType, setModalType
-
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
getModalType, isMayOnly, isMust
-
Methods inherited from interface net.automatalib.ts.modal.transition.MutableModalEdgeProperty
setMayOnly, setModalType, setMust
-
Methods inherited from interface net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty
setInternal, setProcess
-
Methods inherited from interface net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty
isInternal, isProcess
-
-
-
-
Constructor Detail
-
ProceduralModalEdgePropertyImpl
public ProceduralModalEdgePropertyImpl(ProceduralModalEdgeProperty.ProceduralType proceduralType, ModalEdgeProperty.ModalType modalType)
-
-
Method Detail
-
getProceduralType
public ProceduralModalEdgeProperty.ProceduralType getProceduralType()
- Specified by:
getProceduralType
in interfaceProceduralModalEdgeProperty
-
setProceduralType
public void setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)
- Specified by:
setProceduralType
in interfaceMutableProceduralModalEdgeProperty
-
equals
public boolean equals(@Nullable Object o)
- Overrides:
equals
in classModalEdgePropertyImpl
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classModalEdgePropertyImpl
-
-