mim::EtaExpPhase Member List

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

analyze() final	mim::EtaExpPhase	privatevirtual
annex() const	mim::Stage	inline
apply(const App *)	mim::Stage	inlinevirtual
apply(Stage &)	mim::Stage	inlinevirtual
create(const Flags2Stages &stages, const Def *def)	mim::Stage	inlinestatic
driver()	mim::Stage	inline
EtaExpPhase(World &world, flags_t annex)	mim::EtaExpPhase	inline
hook(Flags2Stages &stages)	mim::Stage	inlinestatic
is_bootstrapping() const	mim::RWPhase	inline
log() const	mim::Stage	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
name() const	mim::Stage	inline
name_	mim::Stage	protected
new_world()	mim::RWPhase	inline
old2news_	mim::Rewriter	protected
old_world()	mim::RWPhase	inline
Phase(World &world, std::string name)	mim::Phase	inline
Phase(World &world, flags_t annex)	mim::Phase	inline
pop()	mim::Rewriter	inlinevirtual
push()	mim::Rewriter	inlinevirtual
recreate()	mim::Stage	virtual
reset(std::unique_ptr< World > &&ptr)	mim::Rewriter	inline
reset()	mim::Rewriter	inline
rewrite(const Def *) final	mim::EtaExpPhase	privatevirtual
mim::RWPhase::rewrite(Defs)	mim::Rewriter	virtual
rewrite_annex(flags_t, const Def *)	mim::RWPhase	virtual
rewrite_external(Def *) final	mim::EtaExpPhase	privatevirtual
rewrite_imm(const Def *)	mim::Rewriter	virtual
rewrite_imm_App(const App *) final	mim::EtaExpPhase	private
rewrite_imm_Seq(const Seq *seq)	mim::Rewriter	virtual
rewrite_imm_Var(const Var *) final	mim::EtaExpPhase	private
rewrite_mut(Def *)	mim::Rewriter	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
run()	mim::Phase	virtual
run(Args &&... args)	mim::Phase	inlinestatic
RWPhase(World &world, std::string name)	mim::RWPhase	inline
RWPhase(World &world, flags_t annex)	mim::RWPhase	inline
Stage(World &world, std::string name)	mim::Stage	inline
Stage(World &world, flags_t annex)	mim::Stage
start() override	mim::RWPhase	protectedvirtual
todo() const	mim::Phase	inline
todo_	mim::Phase	protected
world()=delete	mim::RWPhase
~Rewriter()=default	mim::Rewriter	virtual
~Stage()=default	mim::Stage	virtual