Searched defs:CapE (Results 1 – 2 of 2) sorted by relevance
296 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
88 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()217 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()236 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()1267 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope()