libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::VarExpr Member List
This is the complete list of members for sesstype::parameterised::VarExpr, including all inherited members.
accept(util::ExprVisitor &v) override (defined in sesstype::parameterised::VarExpr)sesstype::parameterised::VarExpr [virtual]
clone() const overridesesstype::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]
 All Classes Namespaces Files Functions