Overload List
| Name | Description | |
|---|---|---|
![]() | PostconditionException()()() | Initializes a new instance of the PostconditionException class. |
![]() | PostconditionException(String) | Initializes a new instance of the PostconditionException class with a
specified error message. |
![]() | PostconditionException(String, Exception) | Initializes a new instance of the PostconditionException class. |
