Searched defs:ref_vector (Results 1 – 2 of 2) sorted by relevance
406 class ref_vector : public adaptor_range<derefs, std::vector<T *>> { class408 ref_vector(std::initializer_list<std::reference_wrapper<T>> il) : in ref_vector() function in clover::ref_vector413 ref_vector(R &&r) : adaptor_range<derefs, std::vector<T *>>( in ref_vector() function in clover::ref_vector
1595 let ref_vector = self.vector_clocks.borrow_mut(); in load_thread_state_mut() localVariable1608 let ref_vector = self.vector_clocks.borrow(); in current_thread_state() localVariable1621 let ref_vector = self.vector_clocks.borrow_mut(); in current_thread_state_mut() localVariable