mim::VarRewriter Member List

This is the complete list of members for mim::VarRewriter, including all inherited members.

add(const Var *var, const Def *arg)	mim::VarRewriter	inline
descend(const Def *old_def)	mim::VarRewriter	inline
dispatch(const Def *)	mim::Rewriter	virtual
lookup(const Def *old_def)	mim::Rewriter	inline
map(const Def *old_def, const Def *new_def)	mim::Rewriter	inline
pop() final	mim::VarRewriter	inlinevirtual
push() final	mim::VarRewriter	inlinevirtual
rewrite(const Def *old_def) final	mim::VarRewriter	inlinevirtual
rewrite_arr(const Arr *arr)	mim::Rewriter	inlinevirtual
rewrite_extract(const Extract *)	mim::Rewriter	virtual
rewrite_hole(Hole *)	mim::Rewriter	virtual
rewrite_imm(const Def *)	mim::Rewriter	virtual
rewrite_mut(Def *mut) final	mim::VarRewriter	inlinevirtual
rewrite_pack(const Pack *pack)	mim::Rewriter	inlinevirtual
rewrite_seq(const Seq *)	mim::Rewriter	virtual
Rewriter(World &world)	mim::Rewriter	inline
VarRewriter(World &world)	mim::VarRewriter	inline
VarRewriter(const Var *var, const Def *arg)	mim::VarRewriter	inline
world()	mim::Rewriter	inline