Searched defs:CapE (Results 1 – 2 of 2) sorted by relevance
306 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv() argument
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()233 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()1230 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope()