ProceduralModalEdgeProperty (AutomataLib :: API 0.11.0 API)

All Superinterfaces:

ModalEdgeProperty

All Known Subinterfaces:

MutableProceduralModalEdgeProperty
```
public interface ProceduralModalEdgeProperty
extends ModalEdgeProperty
```

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class ProceduralModalEdgeProperty.ProceduralType
- Nested classes/interfaces inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty
  ModalEdgeProperty.ModalType

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`ProceduralModalEdgeProperty.ProceduralType`	`getProceduralType()`
`default boolean`	`isInternal()`
`default boolean`	`isProcess()`

Methods inherited from interface net.automatalib.ts.modal.transition.ModalEdgeProperty
getModalType, isMayOnly, isMust

Method Detail

getProceduralType

ProceduralModalEdgeProperty.ProceduralType getProceduralType()

isProcess
```
default boolean isProcess()
```

isInternal
```
default boolean isInternal()
```