Lines Matching refs:implies
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {
25 return implies(A->left(), LNeg, RHS, RNeg) &&
26 implies(A->right(), LNeg, RHS, RNeg);
29 return implies(LHS, LNeg, A->left(), RNeg) &&
30 implies(LHS, LNeg, A->right(), RNeg);
35 return implies(A->left(), LNeg, RHS, RNeg) ||
36 implies(A->right(), LNeg, RHS, RNeg);
39 return implies(LHS, LNeg, A->left(), RNeg) ||
40 implies(LHS, LNeg, A->right(), RNeg);
61 // to return !implies(LHS, RHS).
62 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg);
86 // to return !implies(LHS, RHS).
87 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg);
106 bool implies(const LExpr *LHS, const LExpr *RHS) {
108 return ::implies(LHS, false, RHS, false);
