Searched refs:newFact (Results 1 – 1 of 1) sorted by relevance
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact() function in __anon06d2d5b10111::FactManager209 FactID F = FM.newFact(std::move(Entry)); in addLock()237 FactID F = FM.newFact(std::move(Entry)); in replaceLock()