Searched defs:subsumes (Results 1 – 2 of 2) sorted by relevance
57 bool subsumes(ASTContext &C, const AtomicConstraint &Other) const { in subsumes() function
1310 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes() function1342 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, in subsumes() function