node.h File Reference

Statements in a protocol or session (parameterised). More...

#include "sesstype/node.h"
#include "sesstype/parameterised/role.h"

Include dependency graph for parameterised/node.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::parameterised::Node
Namespaces
namespace	sesstype
	namespace for Session Types.
Defines
#define	ST_NODE_FOR   101
#define	ST_NODE_ALLREDUCE   102
#define	ST_NODE_ONEOF   103
#define	ST_NODE_IF   104
Typedefs
typedef Node	sesstype::parameterised::st_param_node
Functions
void	sesstype::parameterised::st_param_node_print (st_param_node *const node)
	Debug print of parameterised Node.
st_param_node *	sesstype::parameterised::st_param_node_project (st_param_node *const node, st_param_role *const endpoint)
	Endpoint projection of parameterised Node.
void	sesstype::parameterised::st_param_node_free (st_param_node *node)

---

Detailed Description

Statements in a protocol or session (parameterised).