Searched refs:CapE (Results 1 – 2 of 2) sorted by relevance
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument 89 return CapE.equals(CapE2); in push_back_nodup() 91 push_back(CapE); in push_back_nodup() 219 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() 225 if (FM[FactIDs[i]].matches(CapE)) { in removeLock() 231 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock() 238 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {240 return FM[ID].matches(CapE); in findLock() 244 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() 246 return FM[ID].matches(CapE); in findLockUniv() 214 removeLock(FactManager & FM,const CapabilityExpr & CapE) removeLock() argument 233 findLockIter(FactManager & FM,const CapabilityExpr & CapE) findLockIter() argument 1230 inCurrentScope(const CapabilityExpr & CapE) inCurrentScope() argument [all...]
306 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv() argument307 return isUniversal() || matches(CapE); in matchesUniv()