mim::EtaExp Member List

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

analyze(const Proxy *) override	mim::EtaExp	privatevirtual
analyze(const Def *) override	mim::EtaExp	privatevirtual
mim::FPPass< EtaExp, Lam >::analyze(const Var *)	mim::Pass	inlinevirtual
annex() const	mim::Stage	inline
apply(const App *)	mim::Stage	inlinevirtual
apply(Stage &)	mim::Stage	inlinevirtual
as_proxy(const Def *def, u32 tag=0)	mim::Pass	inline
Callee enum value	mim::EtaExp
create(const Flags2Stages &stages, const Def *def)	mim::Stage	inlinestatic
curr_mut() const	mim::RWPass< EtaExp, Lam >	inline
curr_undo() const	mim::FPPass< EtaExp, Lam >	inlineprotected
Data typedef	mim::EtaExp
data()	mim::FPPass< EtaExp, Lam >	inlineprotected
data()	mim::FPPass< EtaExp, Lam >	inlineprotected
data(const K &key)	mim::FPPass< EtaExp, Lam >	inlineprotected
data(const K &key)	mim::FPPass< EtaExp, Lam >	inlineprotected
driver()	mim::Stage	inline
enter()	mim::Pass	inlinevirtual
EtaExp(World &world, flags_t annex)	mim::EtaExp	inline
fixed_point() const override	mim::FPPass< EtaExp, Lam >	inlinevirtual
FPPass(World &world, std::string name)	mim::FPPass< EtaExp, Lam >	inline
FPPass(World &world, flags_t annex)	mim::FPPass< EtaExp, Lam >	inline
hook(Flags2Stages &stages)	mim::Stage	inlinestatic
index() const	mim::Pass	inline
init(PassMan *) final	mim::EtaExp	virtual
inspect() const override	mim::RWPass< EtaExp, Lam >	inlinevirtual
isa_proxy(const Def *def, u32 tag=0)	mim::Pass	inline
log() const	mim::Stage	inline
man()	mim::Pass	inline
man() const	mim::Pass	inline
name() const	mim::Stage	inline
name_	mim::Stage	protected
new2old(Lam *new_lam, Lam *old_lam)	mim::EtaExp	inline
new2old(Lam *new_lam)	mim::EtaExp
Non_Callee_1 enum value	mim::EtaExp
old2new()	mim::EtaExp	inline
Pass(World &world, std::string name)	mim::Pass	inline
Pass(World &world, flags_t annex)	mim::Pass	inline
Pos enum name	mim::EtaExp
pos()	mim::EtaExp	inline
pos2str(Pos pos)	mim::EtaExp	inlinestatic
prepare()	mim::Pass	inlinevirtual
proxy(Lam *lam)	mim::EtaExp	inline
mim::FPPass< EtaExp, Lam >::proxy(const Def *type, Defs ops, u32 tag=0)	mim::Pass	inline
recreate()	mim::Stage	virtual
rewrite(const Def *) override	mim::EtaExp	privatevirtual
mim::FPPass< EtaExp, Lam >::rewrite(const Var *var)	mim::Pass	inlinevirtual
mim::FPPass< EtaExp, Lam >::rewrite(const Proxy *proxy)	mim::Pass	inlinevirtual
RWPass(World &world, std::string name)	mim::RWPass< EtaExp, Lam >	inline
RWPass(World &world, flags_t annex)	mim::RWPass< EtaExp, Lam >	inline
Stage(World &world, std::string name)	mim::Stage	inline
Stage(World &world, flags_t annex)	mim::Stage
states() const	mim::FPPass< EtaExp, Lam >	inlineprotected
states()	mim::FPPass< EtaExp, Lam >	inlineprotected
Super typedef	mim::FPPass< EtaExp, Lam >
undo_enter(Def *mut) const	mim::FPPass< EtaExp, Lam >	inlineprotected
undo_visit(Def *mut) const	mim::FPPass< EtaExp, Lam >	inlineprotected
world()	mim::Stage	inline
~Stage()=default	mim::Stage	virtual