shr.h

#ifndef SESSTYPE__PARAMETERISED__EXPR__SHR_H__
#define SESSTYPE__PARAMETERISED__EXPR__SHR_H__

#include "sesstype/parameterised/expr.h"

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

class ShrExpr : public BinExpr {
  public:
    ShrExpr(Expr *lhs, Expr *rhs) : BinExpr(ST_EXPR_SHR, lhs, rhs) { }

    ShrExpr(const ShrExpr &expr)
        : BinExpr(ST_EXPR_SHR, expr.lhs_->clone(), expr.rhs_->clone()) { }

    ShrExpr *clone() const override
    {
        return new ShrExpr(*this);
    }

    bool is_commutative() const override
    {
        return false;
    }

    bool is_associative() const override
    {
        return false;
    }

    virtual void accept(util::ExprVisitor &v) override;
};
#endif // __cplusplus

#ifdef __cplusplus
} // namespace parameterised
} // namespace sesstype
#endif

#endif//SESSTYPE__PARAMETERISED__EXPR__SHR_H__