20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {  in implies()  argument
29     return implies(LHS, LNeg, A->left(), RNeg) &&  in implies()
30            implies(LHS, LNeg, A->right(), RNeg);  in implies()
39     return implies(LHS, LNeg, A->left(), RNeg) ||  in implies()
40            implies(LHS, LNeg, A->right(), RNeg);  in implies()
62     return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg);  in implies()
69   switch (LHS->kind()) {  in implies()
75     return LNeg ? LeftAndOperator(cast<And>(LHS))  in implies()
76                 : LeftOrOperator(cast<And>(LHS));  in implies()
82     return LNeg ? LeftOrOperator(cast<Or>(LHS))  in implies()
83                 : LeftAndOperator(cast<Or>(LHS));  in implies()
87     return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg);  in implies()
99   return cast<Terminal>(LHS)->expr() == cast<Terminal>(RHS)->expr();  in implies()
106 bool implies(const LExpr *LHS, const LExpr *RHS) {  in implies()  argument
108   return ::implies(LHS, false, RHS, false);  in implies()