19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {  in implies()  argument
24     return implies(A->left(), LNeg, RHS, RNeg) &&  in implies()
25            implies(A->right(), LNeg, RHS, RNeg);  in implies()
28     return implies(LHS, LNeg, A->left(), RNeg) &&  in implies()
29            implies(LHS, LNeg, A->right(), RNeg);  in implies()
34     return implies(A->left(), LNeg, RHS, RNeg) ||  in implies()
35            implies(A->right(), LNeg, RHS, RNeg);  in implies()
38     return implies(LHS, LNeg, A->left(), RNeg) ||  in implies()
39            implies(LHS, LNeg, A->right(), RNeg);  in implies()
49     return RNeg ? RightOrOperator(cast<And>(RHS))  in implies()
56     return RNeg ? RightAndOperator(cast<Or>(RHS))  in implies()
61     return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg);  in implies()
86     return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg);  in implies()
94   if (LNeg != RNeg)  in implies()