libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::RngExpr Member List
This is the complete list of members for sesstype::parameterised::RngExpr, including all inherited members.
accept(util::ExprVisitor &v) override (defined in sesstype::parameterised::RngExpr)sesstype::parameterised::RngExpr [virtual]
bindvar() const sesstype::parameterised::RngExpr [inline]
clone() const overridesesstype::parameterised::RngExpr [inline, virtual]
Expr(int type) (defined in sesstype::parameterised::Expr)sesstype::parameterised::Expr [inline, protected]
from() const sesstype::parameterised::RngExpr [inline]
operator<< (defined in sesstype::parameterised::Expr)sesstype::parameterised::Expr [friend]
RngExpr(Expr *from, Expr *to)sesstype::parameterised::RngExpr [inline]
RngExpr(std::string bindvar, Expr *from, Expr *to)sesstype::parameterised::RngExpr [inline]
RngExpr(const RngExpr &expr)sesstype::parameterised::RngExpr [inline]
set_bindvar(std::string bindvar)sesstype::parameterised::RngExpr [inline]
set_from(Expr *from)sesstype::parameterised::RngExpr [inline]
set_to(Expr *to)sesstype::parameterised::RngExpr [inline]
to() const sesstype::parameterised::RngExpr [inline]
type() const sesstype::parameterised::Expr [inline]
~Clonable() (defined in sesstype::util::Clonable)sesstype::util::Clonable [inline, virtual]
~Expr()sesstype::parameterised::Expr [inline, virtual]
~RngExpr() overridesesstype::parameterised::RngExpr [inline]
 All Classes Namespaces Files Functions