std::contracts::evaluation_semantic - cppreference.com (original) (raw)
| | | | | ------------------------------------------------------------------------------------------------------------------------ | | ------------- | | enum class evaluation_semantic : /* unspecified */ { ignore = 1, observe = 2, enforce = 3, quick_enforce = 4 }; | | (since C++26) |
The enumerators of std::contracts::evaluation_semantic correspond to the evaluation semantics with which a contract assertion may be evaluated, with meanings listed below:
| Enumerator | Meaning |
|---|---|
| ignore | the contract assertion is evaluated under “ignore” semantic |
| observe | the contract assertion is evaluated under “observe” semantic |
| enforce | the contract assertion is evaluated under “enforce” semantic |
| quick_enforce | the contract assertion is evaluated under “quick-enforce” semantic |