Searched refs:is_old_value_copyable (Results 1 – 6 of 6) sorted by relevance
160 struct is_old_value_copyable : boost::is_copy_constructible<T> {}; struct166 struct is_old_value_copyable<old_value> : boost::true_type {}; struct285 boost::contract::is_old_value_copyable<T>::value, in operator *()309 boost::contract::is_old_value_copyable<T>::value, in operator ->()508 typename boost::enable_if<boost::contract::is_old_value_copyable<T> in old_value()536 typename boost::disable_if<boost::contract::is_old_value_copyable<T> in old_value()609 if(!boost::contract::is_old_value_copyable<typename in get()
31 struct is_old_value_copyable<w> : boost::false_type {}; struct61 struct is_old_value_copyable<p> : boost::true_type {}; struct74 struct is_old_value_copyable<n> : boost::false_type {}; struct
48 struct is_old_value_copyable<w> : boost::false_type {}; struct85 struct is_old_value_copyable<p> : boost::true_type {}; struct110 struct is_old_value_copyable<n> : boost::false_type {}; struct
15 constexpr bool b = boost::contract::is_old_value_copyable<T>::value && in swap()
93 boost/contract/is_old_value_copyable.html
14 …oost::contract::old_ptr]`<T>` requires [classref boost::contract::is_old_value_copyable]`<T>::valu…21 … copy constructible (that is for which [classref boost::contract::is_old_value_copyable]`<T>::valu…51 … if constexpr(boost::contract::is_old_value_copyable<T>::value) old_x = BOOST_CONTRACT_OLDOF(x);54 …if constexpr(boost::contract::is_old_value_copyable<T>::value) BOOST_CONTRACT_ASSERT(x == *old_x +…62 …pe requirements more complex than just [classref boost::contract::is_old_value_copyable] (as shown…75 This library uses [classref boost::contract::is_old_value_copyable] to determine if an old value ty…77 By default, [classref boost::contract::is_old_value_copyable]`<T>` is equivalent to `boost::is_copy…80 For example, the following specialization of [classref boost::contract::is_old_value_copyable] inte…85 On the flip side, the following specializations of [classref boost::contract::is_old_value_copyable…90 …::is_copy_constructible` and therefore [classref boost::contract::is_old_value_copyable] require C…[all …]