node_visitor.h File Reference

Utilities for Node. More...

#include "sesstype/parameterised/msg.h"
#include "sesstype/parameterised/role.h"
#include "sesstype/parameterised/node.h"
#include "sesstype/parameterised/node/interaction.h"
#include "sesstype/parameterised/node/choice.h"
#include "sesstype/parameterised/node/recur.h"
#include "sesstype/parameterised/node/continue.h"
#include "sesstype/parameterised/node/par.h"
#include "sesstype/parameterised/node/nested.h"
#include "sesstype/parameterised/node/interruptible.h"
#include "sesstype/parameterised/node/for.h"
#include "sesstype/parameterised/node/oneof.h"
#include "sesstype/parameterised/node/if.h"
#include "sesstype/parameterised/node/allreduce.h"

Include dependency graph for parameterised/util/node_visitor.h:

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

Go to the source code of this file.

Classes
class	sesstype::parameterised::util::NodeVisitor
	Abstract class for building Node AST-based visitors. More...
Namespaces
namespace	sesstype
	namespace for Session Types.

---

Detailed Description

Utilities for Node.