Lines Matching defs:disjunction_p
330 disjunction_p (tree t)
369 if (disjunction_p (t))
376 if (disjunction_p (lhs))
378 if (disjunction_p (rhs) || (conjunction_p (rhs) && d2))
388 if ((disjunction_p (rhs) && d1) || (conjunction_p (rhs) && d1 && d2))
391 if (disjunction_p (rhs)
402 if (disjunction_p (rhs) || (conjunction_p (rhs) && d2))
418 if (disjunction_p (lhs))
420 if (disjunction_p (rhs) || (conjunction_p (rhs) && d2))
430 if ((disjunction_p (rhs) && d1) || (conjunction_p (rhs) && d1 && d2))
433 if (disjunction_p (rhs)
444 if (disjunction_p (rhs) || (conjunction_p (rhs) && d2))
477 if (disjunction_p (t))
485 if (disjunction_p (lhs))
487 if ((disjunction_p (rhs) && d1 && d2) || (conjunction_p (rhs) && d1))
490 if ((disjunction_p (rhs) && d1 != d2)
501 if ((disjunction_p (rhs) && d2) || conjunction_p (rhs))
510 if ((disjunction_p (rhs) && d2) || conjunction_p (rhs))
525 if (disjunction_p (lhs))
527 if ((disjunction_p (rhs) && d1 && d2) || (conjunction_p (rhs) && d1))
530 if ((disjunction_p (rhs) && d1 != d2)
541 if ((disjunction_p (rhs) && d2) || conjunction_p (rhs))
550 if ((disjunction_p (rhs) && d2) || conjunction_p (rhs))
Indexes created Thu Jul 16 00:26:27 UTC 2026