rewrite.h File Reference

#include "mim/world.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 rewrites part of a program into the provided World. More...
class	mim::VarRewriter

Namespaces
namespace	mim

Functions
rewrite
Rewrites mut's ops by substituting mut's Var with arg.
DefVec	mim::rewrite (Def *mut, Ref arg)
Ref	mim::rewrite (size_t i, Def *mut, Ref arg)
	As above but only rewrites mut's i^th op.
Ref	mim::rewrite (Ref def, Def *mut, Ref arg)
	As above but rewrites def.