Home
last modified time | relevance | path

Searched defs:precondition (Results 1 – 3 of 3) sorted by relevance

/third_party/boost/boost/test/tree/
Ddecorator.hpp276 class BOOST_TEST_DECL precondition : public decorator::base { class
280 explicit precondition( predicate_t p ) : m_precondition( p ) {} in precondition() function in boost::unit_test::decorator::precondition
/third_party/boost/boost/contract/core/
Dspecify.hpp576 specify_old_postcondition_except<VirtualResult> precondition( in precondition() function in boost::contract::specify_precondition_old_postcondition_except
/third_party/boost/libs/geometry/doc/src/docutils/tools/doxygen_xml2qbk/
Ddoxygen_elements.hpp131 std::string precondition; member