Searched defs:CapE (Results 1 – 2 of 2) sorted by relevance
82 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()242 std::optional<FactID> replaceLock(FactManager &FM, const CapabilityExpr &CapE, in replaceLock()247 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()1291 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope()
316 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()