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
lookup(const Def *old_def)	mim::Rewriter	inlinevirtual
map(const Def *old_def, const Def *new_def)	mim::Rewriter	inlinevirtual
map(const Def *old_def, Defs new_defs)	mim::Rewriter
map(Defs old_defs, const Def *new_def)	mim::Rewriter
map(Defs old_defs, Defs new_defs)	mim::Rewriter
old2news_	mim::Rewriter	protected
pop() final	mim::VarRewriter	inlinevirtual
push() final	mim::VarRewriter	inlinevirtual
reset(std::unique_ptr< World > &&ptr)	mim::Rewriter	inline
reset()	mim::Rewriter	inline
rewrite(const Def *) final	mim::VarRewriter	virtual
mim::Rewriter::rewrite(Defs)	mim::Rewriter	virtual
rewrite_imm(const Def *)	mim::Rewriter	virtual
rewrite_imm_Seq(const Seq *seq)	mim::Rewriter	virtual
rewrite_mut(Def *) final	mim::VarRewriter	virtual
rewrite_mut_Seq(Seq *seq)	mim::Rewriter	virtual
rewrite_stub(Def *, Def *)	mim::Rewriter	virtual
Rewriter(std::unique_ptr< World > &&ptr)	mim::Rewriter	inline
Rewriter(World &world)	mim::Rewriter	inline
swap(VarRewriter &vrw1, VarRewriter &vrw2) noexcept	mim::VarRewriter	friend
VarRewriter(World &world)	mim::VarRewriter	inline
VarRewriter(const Var *var, const Def *arg)	mim::VarRewriter	inline
world()	mim::Rewriter	inline
~Rewriter()=default	mim::Rewriter	virtual