![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
accept(VisitorType &v) override (defined in sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >) | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | |
clone() const override | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | [inline] |
ContinueNodeTmpl(std::string label) | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | [inline] |
ContinueNodeTmpl(const ContinueNodeTmpl &node) | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | [inline] |
label() const | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | [inline] |
set_label(std::string label) | sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > | [inline] |