Searched refs:Subsumes (Results 1 – 1 of 1) sorted by relevance
894 NamedDecl *DQ, ArrayRef<const Expr *> Q, bool &Subsumes, in subsumes() argument910 Subsumes = subsumes(PDNF, QCNF, E); in subsumes()