Lines Matching defs:LHS
56 LExpr *LHS, *RHS;
59 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {}
62 const LExpr *left() const { return LHS; }
63 LExpr *left() { return LHS; }
71 And(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::And) {}
78 Or(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::Or) {}
95 /// \brief Logical implication. Returns true if LHS implies RHS, i.e. if LHS
97 bool implies(const LExpr *LHS, const LExpr *RHS);