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

Subtraction expression. More...

#include <sub.h>

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

List of all members.

Public Member Functions

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

Detailed Description

Subtraction expression.


Constructor & Destructor Documentation

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

SubExpr constructor.

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

Member Function Documentation

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

Implements sesstype::parameterised::BinExpr.

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