libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::ShrExpr Class Reference

Shift right expression. More...

#include <shr.h>

Inheritance diagram for sesstype::parameterised::ShrExpr:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::ShrExpr:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ShrExpr (Expr *lhs, Expr *rhs)
 ShlExpr constructor.
 ShrExpr (const ShrExpr &expr)
 ShrExpr copy constructor.
ShrExprclone () const override
 clone a ShrExpr.
bool is_commutative () const override
bool is_associative () const override
virtual void accept (util::ExprVisitor &v) override

Detailed Description

Shift right expression.


Constructor & Destructor Documentation

sesstype::parameterised::ShrExpr::ShrExpr ( Expr lhs,
Expr rhs 
) [inline]

ShlExpr constructor.

Parameters:
[in]lhsExpr.
[in]rhsExpr.

Member Function Documentation

bool sesstype::parameterised::ShrExpr::is_associative ( ) const [inline, override, virtual]
Returns:
true if binary operator is associative.

Implements sesstype::parameterised::BinExpr.

bool sesstype::parameterised::ShrExpr::is_commutative ( ) const [inline, override, virtual]
Returns:
true if binary operator is commutative.

Implements sesstype::parameterised::BinExpr.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions