| 이름 | 설명 |
|---|---|
| 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 |