◐ Shell
clean mode source ↗

std::contracts::evaluation_semantic - cppreference.com

From cppreference.com

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

See also