node_visitor.h File Reference

Utilities for Node. More...

#include "sesstype/msg.h"
#include "sesstype/role.h"
#include "sesstype/node.h"
#include "sesstype/node/interaction.h"
#include "sesstype/node/choice.h"
#include "sesstype/node/recur.h"
#include "sesstype/node/continue.h"
#include "sesstype/node/par.h"
#include "sesstype/node/nested.h"
#include "sesstype/node/interruptible.h"

Include dependency graph for 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::util::NodeVisitor
	Abstract class for building Node AST-based visitors. More...
Namespaces
namespace	sesstype
	namespace for Session Types.

---

Detailed Description

Utilities for Node.