Searched refs:FactID (Results 1 – 1 of 1) sorted by relevance
798 typedef unsigned short FactID; typedef807 FactID newLock(const SExpr& M, const LockData& L) { in newLock()812 const FactEntry& operator[](FactID F) const { return Facts[F]; } in operator []()813 FactEntry& operator[](FactID F) { return Facts[F]; } in operator []()826 typedef SmallVector<FactID, 4> FactVec;842 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) { in addLock()843 FactID F = FM.newLock(M, L); in addLock()