Searched refs:CapE (Results 1 – 2 of 2) sorted by relevance
76 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument79 return CapE.equals(CapE2); in push_back_nodup()82 push_back(CapE); in push_back_nodup()196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument202 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()208 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument217 return FM[ID].matches(CapE); in findLockIter()221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()223 return FM[ID].matches(CapE); in findLock()[all …]
280 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv() argument281 return isUniversal() || matches(CapE); in matchesUniv()