Searched refs:Pia (Results 1 – 3 of 3) sorted by relevance
210 for (NormalFormConstraint Pia : Pi) { in subsumes() local212 if (Pia.is<FoldExpandedConstraint *>() && in subsumes()214 if (Pia.get<FoldExpandedConstraint *>()->subsumes( in subsumes()219 } else if (Pia.is<AtomicConstraint *>() && in subsumes()221 if (E(*Pia.get<AtomicConstraint *>(), in subsumes()
904 Pia
146288 Pia