Searched defs:subsumes (Results 1 – 1 of 1) sorted by relevance
196 bool subsumes(const NormalForm &PDNF, const NormalForm &QCNF, in subsumes() function239 bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, NamedDecl *DQ, in subsumes() function263 bool FoldExpandedConstraint::subsumes( in subsumes() function