Package net.automatalib.ts.modal.transition

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

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 interface ModalEdgeProperty

setModalType

public void setModalType(ModalEdgeProperty.ModalType type)

Specified by:

setModalType in interface MutableModalEdgeProperty

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object