Searched refs:getNoteTags (Results 1 – 4 of 4) sorted by relevance
258 return Eng.getNoteTags().makeNoteTag(std::move(Cb), IsPrunable);
431 NoteTag::Factory &getNoteTags() { return Engine.getNoteTags(); } in getNoteTags() function
203 NoteTag::Factory &getNoteTags() { return NoteTags; } in getNoteTags() function
222 ProgramPoint P = L.withTag(getNoteTags().makeNoteTag( in HandleBlockEdge()