Searched refs:Qjb (Results 1 – 1 of 1) sorted by relevance
211 for (NormalFormConstraint Qjb : Qj) { in subsumes() local213 Qjb.is<FoldExpandedConstraint *>()) { in subsumes()215 *Qjb.get<FoldExpandedConstraint *>(), E)) { in subsumes()220 Qjb.is<AtomicConstraint *>()) { in subsumes()222 *Qjb.get<AtomicConstraint *>())) { in subsumes()