Searched refs:old_n (Results 1 – 5 of 5) sorted by relevance
148 boost::contract::old_ptr<a_n_type> old_n; in ~a() local152 old_n = BOOST_CONTRACT_OLDOF(a_n_type::eval(n)); in ~a()154 .postcondition([&old_n] { in ~a()156 BOOST_CONTRACT_ASSERT(a::n.value == old_n->value - 1); in ~a()
154 typename graph_traits< MutableGraph >::vertices_size_type old_n; in remove_dangling_links() local157 old_n = num_vertices(g); in remove_dangling_links()171 } while (num_vertices(g) < old_n); in remove_dangling_links()
272 size_type old_n = this->bucket_count(); in reserve() local273 if(new_n <= old_n) in reserve()281 new_p = expand_or_create_buckets(old_p, old_n, this->alloc, new_n); in reserve()292 destroy_buckets(this->alloc, old_p, old_n); in reserve()
203 typename graph_traits<MutableGraph>::vertices_size_type old_n; in remove_dangling_links() local205 old_n = num_vertices(g); in remove_dangling_links()215 } while (num_vertices(g) < old_n); in remove_dangling_links()
195 boost::contract::old_ptr<n_type> old_n = local206 BOOST_CONTRACT_ASSERT(n.value == old_n->value + 1); in __anon170b96920902()