OpenGrok

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);
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();

Indexes created Mon Mar 02 05:31:46 UTC 2026