Searched defs:put_marking (Results 1 – 1 of 1) sorted by relevance
236 void marking_map::put_marking(node_id nid, marking_t const & m) in put_marking() function in marking_map241 void marking_map::put_marking(node_id nid, const_marking_t const & m) in put_marking() function in marking_map