Lines Matching refs:leftPos

95   int leftPos = 0;  in compileLhs2()  local
108 int j = leftEnd ? leftPos++ : rightPos--; in compileLhs2()
131 int nrFlex = rightPos - leftPos + 1; in compileLhs2()
140 Tuple& t = argArray[leftPos]; in compileLhs2()
144 a->addFlexVariable(vt, UNDEFINED, idPossible(leftPos)); in compileLhs2()
153 bool matchOurIdentity = t.matchOurIdentity && idPossible(leftPos); in compileLhs2()
181 for (int i = leftPos; i <= rightPos; i++) in compileLhs2()
366 int leftPos, in findConstraintPropagationSequence() argument
370 if (leftPos <= rightPos) in findConstraintPropagationSequence()
378 const Tuple& lt = argArray[leftPos]; in findConstraintPropagationSequence()
379 bool leftBad = lt.collapseToOurSymbol || (lt.matchOurIdentity && idPossible(leftPos)); in findConstraintPropagationSequence()
382 DebugAdvisory("lower level findConstraintPropagationSequence() - ground out left " << leftPos); in findConstraintPropagationSequence()
385 findConstraintPropagationSequence(newSequence, boundUniquely, leftPos + 1, in findConstraintPropagationSequence()
390 bool rightBad = (leftPos == rightPos) || rt.collapseToOurSymbol || in findConstraintPropagationSequence()
397 findConstraintPropagationSequence(newSequence, boundUniquely, leftPos, in findConstraintPropagationSequence()
406 if (unitVariable(ltVar, leftPos)) in findConstraintPropagationSequence()
408 DebugAdvisory("lower level findConstraintPropagationSequence() - unit var left " << leftPos); in findConstraintPropagationSequence()
413 findConstraintPropagationSequence(newSequence, newBound, leftPos + 1, in findConstraintPropagationSequence()
418 if (leftPos < rightPos && unitVariable(rtVar, rightPos)) in findConstraintPropagationSequence()
425 findConstraintPropagationSequence(newSequence, newBound, leftPos, in findConstraintPropagationSequence()
436 DebugAdvisory("lower level findConstraintPropagationSequence() - alien left " << leftPos); in findConstraintPropagationSequence()
441 findConstraintPropagationSequence(newSequence, newBound, leftPos + 1, in findConstraintPropagationSequence()
461 findConstraintPropagationSequence(newSequence, newBound, leftPos, in findConstraintPropagationSequence()
476 bestSequence.firstFlex = leftPos <= rightPos ? leftPos : NONE; in findConstraintPropagationSequence()