BOOST_CONTRACT_ASSERT_AXIOM — Preferred way to document in the code contract conditions that are computationally prohibitive, at least compared to the computational cost of executing the function body.
// In header: <boost/contract/assert.hpp> BOOST_CONTRACT_ASSERT_AXIOM(cond)
The asserted condition will always be compiled and validated syntactically, but it will never be checked at run-time. This macro is defined by code equivalent to:
#define BOOST_CONTRACT_ASSERT_AXIOM(cond) \ BOOST_CONTRACT_ASSERT(true || cond)
BOOST_CONTRACT_ASSERT_AXIOM are the three assertion levels predefined by this library. If there is a need, programmers are free to implement their own assertion levels defining macros similar to the one above.