![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
| accept(util::ExprVisitor &v) override (defined in sesstype::parameterised::VarExpr) | sesstype::parameterised::VarExpr | [virtual] |
| clone() const override | sesstype::parameterised::VarExpr | [inline, virtual] |
| Expr(int type) (defined in sesstype::parameterised::Expr) | sesstype::parameterised::Expr | [inline, protected] |
| name() const | sesstype::parameterised::VarExpr | [inline] |
| operator<< (defined in sesstype::parameterised::Expr) | sesstype::parameterised::Expr | [friend] |
| type() const | sesstype::parameterised::Expr | [inline] |
| VarExpr(std::string name) | sesstype::parameterised::VarExpr | [inline] |
| VarExpr(const VarExpr &expr) | sesstype::parameterised::VarExpr | [inline] |
| ~Clonable() (defined in sesstype::util::Clonable) | sesstype::util::Clonable | [inline, virtual] |
| ~Expr() | sesstype::parameterised::Expr | [inline, virtual] |
1.7.6.1