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

Choice blocks. More...

#include <choice.h>

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

List of all members.

Public Member Functions

 ChoiceNodeTmpl ()
 ChoiceNode constructor with empty Role as default.
 ChoiceNodeTmpl (RoleType *at)
 ChoiceNode constructor.
 ChoiceNodeTmpl (const ChoiceNodeTmpl &node)
 ChoiceNode copy constructor.
 ~ChoiceNodeTmpl () override
 ChoiceNode destructor.
ChoiceNodeTmplclone () const override
 clone a ChoiceNode.
void set_at (RoleType *at)
RoleType * at () const
void add_choice (BaseNode *choice)
void accept (VisitorType &v) override

Detailed Description

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

Choice blocks.


Constructor & Destructor Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::ChoiceNodeTmpl ( RoleType *  at) [inline]

ChoiceNode constructor.

Parameters:
[in]atRole (choice maker).

Member Function Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::add_choice ( BaseNode *  choice) [inline]
Parameters:
[in]choiceNode to add as a branch.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
RoleType* sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::at ( ) const [inline]
Returns:
choice maker Role.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_at ( RoleType *  at) [inline]
Parameters:
[in]atRole to set as choice maker.

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