Searched refs:old_z (Results 1 – 2 of 2) sorted by relevance
63 boost::contract::old_ptr<z_type> old_z = in f() local77 BOOST_CONTRACT_ASSERT(z.value == old_z->value + old_s->value); in f()78 BOOST_CONTRACT_ASSERT(s.value.find(old_z->value) != in f()84 BOOST_CONTRACT_ASSERT(z.value == old_z->value); in f()
54 boost::contract::old_ptr<z_type> old_z; local60 old_z = BOOST_CONTRACT_OLDOF(z_type::eval(z)); in __anon170b96920202()64 BOOST_CONTRACT_ASSERT(k_ == old_z->value); in __anon170b96920302()