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

Addition expression. More...

#include <add.h>

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

List of all members.

Public Member Functions

 AddExpr (Expr *lhs, Expr *rhs)
 AddExpr constructor.
 AddExpr (const AddExpr &expr)
 AddExpr copy constructor.
AddExprclone () const override
 clone an AddExpr.
bool is_commutative () const override
bool is_associative () const override
virtual void accept (util::ExprVisitor &v) override

Detailed Description

Addition expression.


Constructor & Destructor Documentation

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

AddExpr constructor.

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

Member Function Documentation

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

Implements sesstype::parameterised::BinExpr.

bool sesstype::parameterised::AddExpr::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