reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
28 return implies(LHS, LNeg, A->left(), RNeg) && 29 implies(LHS, LNeg, A->right(), 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); 68 switch (LHS->kind()) { 74 return LNeg ? LeftAndOperator(cast<And>(LHS)) 75 : LeftOrOperator(cast<And>(LHS)); 81 return LNeg ? LeftOrOperator(cast<Or>(LHS)) 82 : LeftAndOperator(cast<Or>(LHS)); 86 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); 98 return cast<Terminal>(LHS)->expr() == cast<Terminal>(RHS)->expr();