libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::util::ExprEval Class Reference
Inheritance diagram for sesstype::parameterised::util::ExprEval:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::util::ExprEval:
Collaboration graph
[legend]

List of all members.

Public Member Functions

Expreval ()
bool is_valid ()
virtual void visit (Expr *expr) override
virtual void visit (VarExpr *expr) override
virtual void visit (ValExpr *expr) override
virtual void visit (AddExpr *expr) override
virtual void visit (SubExpr *expr) override
virtual void visit (MulExpr *expr) override
virtual void visit (DivExpr *expr) override
virtual void visit (ModExpr *expr) override
virtual void visit (ShlExpr *expr) override
virtual void visit (ShrExpr *expr) override
virtual void visit (SeqExpr *expr) override
virtual void visit (RngExpr *expr) override
virtual void visit (LogExpr *expr) override

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