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