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); 34 return implies(A->left(), LNeg, RHS, RNeg) || 35 implies(A->right(), LNeg, RHS, RNeg); 43 switch (RHS->kind()) { 49 return RNeg ? RightOrOperator(cast<And>(RHS)) 50 : RightAndOperator(cast<And>(RHS)); 56 return RNeg ? RightAndOperator(cast<Or>(RHS)) 57 : RightOrOperator(cast<Or>(RHS)); 61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); 86 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); 98 return cast<Terminal>(LHS)->expr() == cast<Terminal>(RHS)->expr();