Lines Matching refs:left
25 return implies(A->left(), LNeg, RHS, RNeg) &&
29 return implies(LHS, LNeg, A->left(), RNeg) &&
35 return implies(A->left(), LNeg, RHS, RNeg) ||
39 return implies(LHS, LNeg, A->left(), RNeg) ||
64 // After reaching the terminal, it's time to recurse on the left.
68 // RHS is now a terminal. Recurse on Left.
71 // When performing left recursion:
73 // When performing left recursion (negated):
78 // When performing left recursion:
80 // When performing left recursion (negated):
