Home
last modified time | relevance | path

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

/third_party/boost/boost/contract/detail/condition/
Dcond_inv.hpp35 class cond_inv : public cond_post<VR> { // Non-copyable base. class
97 explicit cond_inv(boost::contract::from from, C* obj) : in cond_inv() function in boost::contract::detail::cond_inv