Package net.automatalib.ts.modal.transition

Interface MutableProceduralModalEdgeProperty

All Superinterfaces:

ModalEdgeProperty, MutableModalEdgeProperty, ProceduralModalEdgeProperty

All Known Implementing Classes:

ProceduralModalEdgePropertyImpl

public interface MutableProceduralModalEdgeProperty
extends ProceduralModalEdgeProperty, MutableModalEdgeProperty

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

Method Summary

Modifier and Type	Method	Description
default void	setInternal()
void	setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)
default void	setProcess()

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.ProceduralModalEdgeProperty

getProceduralType, isInternal, isProcess

Method Detail

setProceduralType

void setProceduralType(ProceduralModalEdgeProperty.ProceduralType type)

setProcess

default void setProcess()

setInternal

default void setInternal()