Searched refs:Pia (Results 1 – 3 of 3) sorted by relevance
1427 for (const AtomicConstraint *Pia : Pi) { in subsumes() local1429 if (E(*Pia, *Qjb)) { in subsumes()
904 Pia
146288 Pia