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