libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::InteractionNode Class Reference

InteractionNode (message-passing) statements (parameterised). More...

#include <interaction.h>

Inheritance diagram for sesstype::parameterised::InteractionNode:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::InteractionNode:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 InteractionNode (MsgSig *msg)
 InteractionNode (const InteractionNode &node)
InteractionNodeclone () const override
 clone a InteractionNode.
MsgCondcond () const
void set_cond (MsgCond *cond)
 Set message condition (only for send/receive).
virtual void accept (util::NodeVisitor &v) override

Detailed Description

InteractionNode (message-passing) statements (parameterised).


Member Function Documentation

Returns:
message condition.

Set message condition (only for send/receive).

Parameters:
[in]condfor InteractionNode.

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