Searched defs:FactEntry (Results 1 – 1 of 1) sorted by relevance
97 class FactEntry : public CapabilityExpr { class122 FactEntry(FactEntryKind FK, const CapabilityExpr &CE, LockKind LK, in FactEntry() function in __anon06d2d5b10111::FactEntry