Searched refs:Qj (Results 1 – 1 of 1) sorted by relevance
203 for (const auto &Qj : QCNF) { in subsumes() local211 for (NormalFormConstraint Qjb : Qj) { in subsumes()