| Name | Description |
|---|---|
| AssertionFailureException | The exception that is thrown by the P# runtime upon assertion failure. |
| MachineActionExceptionFilterException | The exception that is thrown by the P# runtime upon a machine action failure. |
| PushStateTransition | Defines a push state transition. |
| RuntimeException |
