ModalEdgeProperty (AutomataLib 0.11.0 API)

All Known Subinterfaces:

MutableModalEdgeProperty, MutableProceduralModalEdgeProperty, ProceduralModalEdgeProperty

All Known Implementing Classes:

ModalEdgePropertyImpl, ProceduralModalEdgePropertyImpl
```
public interface ModalEdgeProperty
```

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class ModalEdgeProperty.ModalType

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`ModalEdgeProperty.ModalType`	`getModalType()`
`default boolean`	`isMayOnly()`
`default boolean`	`isMust()`

Method Detail

getModalType

ModalEdgeProperty.ModalType getModalType()

isMayOnly
```
default boolean isMayOnly()
```

isMust
```
default boolean isMust()
```