Searched refs:Qj (Results 1 – 1 of 1) sorted by relevance
1420 for (const auto &Qj : QCNF) { in subsumes() local1428 for (const AtomicConstraint *Qjb : Qj) { in subsumes()