Searched refs:Pia (Results 1 – 3 of 3) sorted by relevance
1324 for (const AtomicConstraint *Pia : Pi) { in subsumes() local1326 if (E(*Pia, *Qjb)) { in subsumes()
913 Pia
146264 Pia