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

Modulo expression. More...

#include <mod.h>

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

List of all members.

Public Member Functions

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

Detailed Description

Modulo expression.


Constructor & Destructor Documentation

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

ModExpr constructor.

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

Member Function Documentation

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

Implements sesstype::parameterised::BinExpr.

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