std::contracts::evaluation_semantic

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