Searched defs:CapE (Results 1 – 2 of 2) sorted by relevance
306 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument 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...]