Searched refs:check_exit_inv (Results 1 – 3 of 3) sorted by relevance
93 check_exit_inv, enumerator
224 exec_and(boost::contract::virtual_::check_exit_inv,225 &cond_subcontracting::check_exit_inv);
112 void check_exit_inv() { check_inv(false, false, false); } in check_exit_inv() function in boost::contract::detail::cond_inv