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); 61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); 74 return LNeg ? LeftAndOperator(cast<And>(LHS)) 81 return LNeg ? LeftOrOperator(cast<Or>(LHS)) 86 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); 94 if (LNeg != RNeg)