Package net.automatalib.ts.modal.transition

Interface MutableModalEdgeProperty

All Superinterfaces:

ModalEdgeProperty

All Known Subinterfaces:

MutableProceduralModalEdgeProperty

All Known Implementing Classes:

ModalEdgePropertyImpl, ProceduralModalEdgePropertyImpl

public interface MutableModalEdgeProperty
extends ModalEdgeProperty

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty

ModalEdgeProperty.ModalType

Method Summary

Modifier and Type	Method	Description
default void	setMayOnly()
void	setModalType(ModalEdgeProperty.ModalType type)
default void	setMust()

Methods inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty

getModalType, isMayOnly, isMust

Method Detail

setModalType

void setModalType(ModalEdgeProperty.ModalType type)

setMayOnly

default void setMayOnly()

setMust

default void setMust()