Member predicate LogicalOrExpr :: 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
)