libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > Class Template Reference

Recursion statements. More...

#include <recur.h>

Inheritance diagram for sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >:
Inheritance graph
[legend]
Collaboration diagram for sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 RecurNodeTmpl (std::string label)
 RecurNode constructor.
 RecurNodeTmpl (const RecurNodeTmpl &node)
 RecurNode copy constructor.
RecurNodeTmplclone () const override
 clone a RecurNode.
void set_label (std::string label)
 Replace label of RecurNode.
std::string label () const
void accept (VisitorType &v) override

Detailed Description

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
class sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >

Recursion statements.


Constructor & Destructor Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::RecurNodeTmpl ( std::string  label) [inline]

RecurNode constructor.

Parameters:
[in]labelof RecurNode.

Member Function Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
std::string sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::label ( ) const [inline]
Returns:
label of RecursionNode.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_label ( std::string  label) [inline]

Replace label of RecurNode.

Parameters:
[in]labelof RecurNode to replace with.

The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions