Searched defs:CapE (Results 1 – 2 of 2) sorted by relevance
280 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
76 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()1169 inline bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope()