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(Ref) override	mim::EtaExp	privatevirtual
mim::FPPass< EtaExp, Lam >::analyze(const Var *)	mim::Pass	inlinevirtual
as_proxy(Ref def, u32 tag=0)	mim::Pass	inline
Callee enum value	mim::EtaExp
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
enter()	mim::Pass	inlinevirtual
EtaExp(PassMan &man, EtaRed *eta_red)	mim::EtaExp	inline
fixed_point() const override	mim::FPPass< EtaExp, Lam >	inlinevirtual
FPPass(PassMan &man, std::string_view name)	mim::FPPass< EtaExp, Lam >	inline
index() const	mim::Pass	inline
inspect() const override	mim::RWPass< EtaExp, Lam >	inlinevirtual
isa_proxy(Ref def, u32 tag=0)	mim::Pass	inline
man()	mim::Pass	inline
man() const	mim::Pass	inline
name() const	mim::Pass	inline
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(PassMan &, std::string_view name)	mim::Pass
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(Ref type, Defs ops, u32 tag=0)	mim::Pass	inline
rewrite(Ref) 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(PassMan &man, std::string_view name)	mim::RWPass< EtaExp, Lam >	inline
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::Pass	inline
~Pass()=default	mim::Pass	virtual