reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
24 return implies(A->left(), LNeg, RHS, RNeg) && 25 implies(A->right(), LNeg, RHS, RNeg); 28 return implies(LHS, LNeg, A->left(), RNeg) && 29 implies(LHS, LNeg, A->right(), RNeg); 34 return implies(A->left(), LNeg, RHS, RNeg) || 35 implies(A->right(), LNeg, RHS, RNeg); 38 return implies(LHS, LNeg, A->left(), RNeg) || 39 implies(LHS, LNeg, A->right(), RNeg); 49 return RNeg ? RightOrOperator(cast<And>(RHS)) 56 return RNeg ? RightAndOperator(cast<Or>(RHS)) 61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); 86 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); 94 if (LNeg != RNeg)