rewrite.h File Reference

#include <memory>
#include "mim/check.h"
#include "mim/def.h"
#include "mim/lam.h"
#include "mim/lattice.h"
#include "mim/rule.h"
#include "mim/tuple.h"

Include dependency graph for rewrite.h:

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

Go to the source code of this file.

Classes
class	mim::Rewriter
	Recurseivly rebuilds part of a program into the provided World w.r.t. Rewriter::map. More...
class	mim::VarRewriter
	Extends Rewriter for variable substitution. More...
class	mim::Zonker

Namespaces
namespace	mim

Macros
rewrite
Recursively rewrite old Defs.
#define	CODE_IMM(N)
#define	CODE_MUT(N)

Macro Definition Documentation

CODE_IMM

#define CODE_IMM

(

N

)

Value:

virtual const Def* rewrite_imm_##N(const N*);

Definition at line 86 of file rewrite.h.

Referenced by mim::Rewriter::rewrite_imm().

CODE_MUT

#define CODE_MUT

(

N

)

Value:

virtual const Def* rewrite_mut_##N(N*);

Definition at line 87 of file rewrite.h.

Referenced by mim::Rewriter::rewrite_mut().