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

ExprApply implements Pabble's apply(b, e) More...

#include <expr_apply.h>

Inheritance diagram for sesstype::parameterised::util::ExprApply:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::util::ExprApply:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ExprApply (RngExpr *bindexpr)
Exprapply ()
virtual void visit (Expr *expr)
virtual void visit (ValExpr *expr)
virtual void visit (VarExpr *expr)
virtual void visit (AddExpr *expr)
virtual void visit (SubExpr *expr)
virtual void visit (MulExpr *expr)
virtual void visit (DivExpr *expr)
virtual void visit (ModExpr *expr)
virtual void visit (ShlExpr *expr)
virtual void visit (ShrExpr *expr)
virtual void visit (SeqExpr *expr)
virtual void visit (RngExpr *expr)
virtual void visit (LogExpr *expr)

Detailed Description

ExprApply implements Pabble's apply(b, e)

For example: apply(i:1..N, i+1) --> i:2..N+1 i.e. Replace occurence of *bindvar* in e with *from* and *to*


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