Searched refs:call_if (Results 1 – 14 of 14) sorted by relevance
42 boost::contract::call_if<boost::has_equal_to<int> >( in main()54 boost::contract::call_if<boost::has_equal_to<x> >( in main()64 boost::contract::call_if<boost::has_equal_to<int> >( in main()75 boost::contract::call_if<boost::has_equal_to<x> >( in main()
29 boost::contract::call_if<boost::has_equal_to<int> >( in main()38 boost::contract::call_if<boost::has_equal_to<x> >( in main()47 boost::contract::call_if<boost::has_equal_to<x> >( in main()
37 boost::contract::call_if<boost::has_equal_to<int> >( in main()44 boost::contract::call_if<boost::has_equal_to<int> >( in main()
38 boost::contract::call_if<boost::has_equal_to<int> >( in main()47 boost::contract::call_if<boost::has_equal_to<int> >( in main()
38 boost::contract::call_if<boost::has_equal_to<x> >( in main()47 boost::contract::call_if<boost::has_equal_to<x> >( in main()
29 boost::contract::call_if<boost::has_equal_to<T> >( in push_back()
37 boost::contract::call_if<boost::has_equal_to<x> >( in main()
434 test-suite call_if :435 [ boost_contract_build.subdir-run-cxx11 call_if : true_ ]436 [ boost_contract_build.subdir-run-cxx11 call_if : false_ ]438 [ boost_contract_build.subdir-run-cxx11 call_if : true_void ]439 [ boost_contract_build.subdir-run-cxx11 call_if : false_void ]441 [ boost_contract_build.subdir-run-cxx11 call_if : equal_to ]442 [ boost_contract_build.subdir-run-cxx11 call_if : equal_to_cxx14 :445 [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_condition_if ]446 [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_call_if ]447 [ boost_contract_build.subdir-compile-fail-cxx11 call_if : no_equal_error ]
37 boost::contract::call_if<is_random_access_iterator<Iter> >( in myadvance()
573 call_if_statement<Pred::value, Then> call_if(Then f) { in call_if() function
22 ../include/boost/contract/call_if.hpp
175 …ntract::call_if], specifically [funcref boost::contract::condition_if]`<Pred>(cond)` is logically …177 …ntract::condition_if] is optimized and it does not actually use [funcref boost::contract::call_if].179 The [funcref boost::contract::call_if] function template also accepts a number of optional /else-if…181 boost::contract::call_if<Pred1>(193 At run-time [funcref boost::contract::call_if] will call the functor `t1()`, or `t2()`, ..., or `e(…198 In general, [funcref boost::contract::call_if] can be used to program contract assertions that comp…202 …use [funcref boost::contract::condition_if] or [funcref boost::contract::call_if] because `if cons…204 A part from its use within contracts, [funcref boost::contract::call_if] can be used together with …
62 # Added `call_if` and `condition_if` (assertions requirements were supported also by previous revis…
20 boost/contract/call_if.html