Member predicate LogicalOperation::LogicalAndExpr::impliesValue

Holds if the truth of this binary logical expression having value wholeIsTrue implies that the truth of the child expression part has truth value partIsTrue.

For example if the binary operation:

  x && y

is true, x and y must also be true, so impliesValue(x, true, true) and impliesValue(y, true, true) hold.

predicate impliesValue(Expr part, boolean partIsTrue, boolean wholeIsTrue)