Property | Type | Description | |
---|---|---|---|
pre |
Method | Description | |
---|---|---|
UnaryPrecondition ( |
Constructs a UnaryPrecondition instance.
|
protected UnaryPrecondition ( |
||
pre | The underlying |
|
return | System |