Lines Matching refs:p8
3146 int p8 = p1;
3147 while (fSpSet->contains(cAt(p8))) {
3148 p8 = moveBack(p8);
3150 while (fCloseSet->contains(cAt(p8))) {
3151 p8 = moveBack(p8);
3153 if (fATermSet->contains(cAt(p8))) {
3154 p8=p2;
3156 c = cAt(p8);
3162 p8 = moveForward(p8);
3164 if (fLowerSet->contains(cAt(p8))) {
3171 p8 = p1;
3172 while (fSpSet->contains(cAt(p8))) {
3173 p8 = moveBack(p8);
3175 while (fCloseSet->contains(cAt(p8))) {
3176 p8 = moveBack(p8);
3178 c = cAt(p8);
