expr_visitor.h File Reference

Utilities for Expr. More...

#include "sesstype/parameterised/expr.h"
#include "sesstype/parameterised/expr/var.h"
#include "sesstype/parameterised/expr/val.h"
#include "sesstype/parameterised/expr/add.h"
#include "sesstype/parameterised/expr/sub.h"
#include "sesstype/parameterised/expr/mul.h"
#include "sesstype/parameterised/expr/div.h"
#include "sesstype/parameterised/expr/mod.h"
#include "sesstype/parameterised/expr/shl.h"
#include "sesstype/parameterised/expr/shr.h"
#include "sesstype/parameterised/expr/seq.h"
#include "sesstype/parameterised/expr/rng.h"
#include "sesstype/parameterised/expr/log.h"

Include dependency graph for expr_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::ExprVisitor
	Abstract class for building Expr visitors. More...
Namespaces
namespace	sesstype
	namespace for Session Types.

---

Detailed Description

Utilities for Expr.