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
                                
                                )