mim::VarRewriter Class Reference

#include <mim/rewrite.h>

Inheritance diagram for mim::VarRewriter:

Public Member Functions
	VarRewriter (const Var *var, const Def *arg)
const Def *	rewrite_imm (const Def *imm) override
const Def *	rewrite_mut (Def *mut) override
Public Member Functions inherited from mim::Rewriter
	Rewriter (World &world)
World &	world ()
const Def *	map (const Def *old_def, const Def *new_def)
	Map old_def to new_def and returns new_def;.
virtual const Def *	rewrite (const Def *)

Detailed Description

Definition at line 31 of file rewrite.h.

Constructor & Destructor Documentation

VarRewriter()

mim::VarRewriter::VarRewriter ( const Var * var, const Def * arg )

inline

Definition at line 33 of file rewrite.h.

References mim::Rewriter::map(), mim::Rewriter::Rewriter(), and mim::Rewriter::world().

Member Function Documentation

rewrite_imm()

const Def * mim::VarRewriter::rewrite_imm ( const Def * imm )

inlineoverridevirtual

Reimplemented from mim::Rewriter.

Definition at line 40 of file rewrite.h.

References mim::Sets< D, N >::Set::empty(), mim::Def::free_vars(), mim::Def::has_dep(), mim::Hole, mim::Def::local_muts(), mim::Def::local_vars(), and mim::Rewriter::rewrite_imm().

rewrite_mut()

const Def * mim::VarRewriter::rewrite_mut ( Def * mut )

inlineoverridevirtual

Reimplemented from mim::Rewriter.

Definition at line 46 of file rewrite.h.

References mim::Def::free_vars(), mim::Def::has_var(), mim::Rewriter::map(), mim::Rewriter::rewrite_mut(), mim::World::vars(), and mim::Rewriter::world().

---

The documentation for this class was generated from the following file:

• include/mim/rewrite.h