libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > Member List
This is the complete list of members for sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >, including all inherited members.
accept(VisitorType &v) override (defined in sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [virtual]
body() const sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
clone() const overridesesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
cond() const sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
IfNodeTmpl(MsgCond *cond)sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
IfNodeTmpl(const IfNodeTmpl &node)sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
set_body(BaseNode *body)sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
set_cond(MsgCond *cond)sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
~IfNodeTmpl() overridesesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
 All Classes Namespaces Files Functions