Searched refs:CapE (Results 1 – 2 of 2) sorted by relevance
82 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument84 return CapE.equals(CapE2); in push_back_nodup()86 push_back(CapE); in push_back_nodup()214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument220 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()226 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()242 std::optional<FactID> replaceLock(FactManager &FM, const CapabilityExpr &CapE, in replaceLock() argument244 return replaceLock(FM, findLockIter(FM, CapE), std::move(Entry)); in replaceLock()247 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument249 [&](FactID ID) { return FM[ID].matches(CapE); }); in findLockIter()[all …]
316 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv() argument317 return isUniversal() || matches(CapE); in matchesUniv()