Lines Matching refs:RHS
31 /// Logical implication. Returns true if the LExpr implies RHS, i.e. if
32 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
33 inline bool implies(const LExpr *RHS) const;
55 LExpr *LHS, *RHS;
58 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {}
64 const LExpr *right() const { return RHS; }
65 LExpr *right() { return RHS; }
70 And(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::And) {}
77 Or(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::Or) {}
94 /// Logical implication. Returns true if LHS implies RHS, i.e. if LHS
95 /// holds, then RHS must hold. For example, (A & B) implies A.
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const {
99 return lexpr::implies(this, RHS);