Searched refs:CapE (Results 1 – 2 of 2) sorted by relevance
89 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument92 return CapE.equals(CapE2); in push_back_nodup()95 push_back(CapE); in push_back_nodup()219 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()225 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()234 return FM[ID].matches(CapE); in findLockIter()240 return FM[ID].matches(CapE); in findLock()248 return FM[ID].matchesUniv(CapE); in findLockUniv()256 return FM[ID].partiallyMatches(CapE); in findPartialMatch()1028 bool inCurrentScope(const CapabilityExpr &CapE);[all …]
297 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv() argument298 return isUniversal() || matches(CapE); in matchesUniv()