Searched refs:Qj (Results 1 – 1 of 1) sorted by relevance
2048 for (const auto &Qj : QCNF) { in Subsumes() local2054 if (!DNFSubsumes(Pi, Qj)) in Subsumes()