Member predicate BoolExpr::impliesValue
Whether part evaluates to partIsTrue if this evaluates to wholeIsTrue
predicate impliesValue(Expr part, boolean partIsTrue, boolean wholeIsTrue)Whether part evaluates to partIsTrue if this evaluates to wholeIsTrue
predicate impliesValue(Expr part, boolean partIsTrue, boolean wholeIsTrue)