mim::plug::mem::CopyProp Member List

This is the complete list of members for mim::plug::mem::CopyProp, including all inherited members.

analyze(const Proxy *) override	mim::plug::mem::CopyProp	privatevirtual
mim::FPPass< CopyProp, Lam >::analyze(Ref)	mim::Pass	inlinevirtual
mim::FPPass< CopyProp, Lam >::analyze(const Var *)	mim::Pass	inlinevirtual
as_proxy(Ref def, u32 tag=0)	mim::Pass	inline
CopyProp(PassMan &man, BetaRed *beta_red, EtaExp *eta_exp, bool bb_only=false)	mim::plug::mem::CopyProp	inline
curr_mut() const	mim::RWPass< CopyProp, Lam >	inline
curr_undo() const	mim::FPPass< CopyProp, Lam >	inlineprotected
Data typedef	mim::plug::mem::CopyProp
data()	mim::FPPass< CopyProp, Lam >	inlineprotected
data()	mim::FPPass< CopyProp, Lam >	inlineprotected
data(const K &key)	mim::FPPass< CopyProp, Lam >	inlineprotected
data(const K &key)	mim::FPPass< CopyProp, Lam >	inlineprotected
enter()	mim::Pass	inlinevirtual
fixed_point() const override	mim::FPPass< CopyProp, Lam >	inlinevirtual
FPPass(PassMan &man, std::string_view name)	mim::FPPass< CopyProp, Lam >	inline
index() const	mim::Pass	inline
inspect() const override	mim::RWPass< CopyProp, 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
Pass(PassMan &, std::string_view name)	mim::Pass
prepare()	mim::Pass	inlinevirtual
proxy(Ref type, Defs ops, u32 tag=0)	mim::Pass	inline
rewrite(Ref) override	mim::plug::mem::CopyProp	privatevirtual
mim::FPPass< CopyProp, Lam >::rewrite(const Var *var)	mim::Pass	inlinevirtual
mim::FPPass< CopyProp, Lam >::rewrite(const Proxy *proxy)	mim::Pass	inlinevirtual
RWPass(PassMan &man, std::string_view name)	mim::RWPass< CopyProp, Lam >	inline
states() const	mim::FPPass< CopyProp, Lam >	inlineprotected
states()	mim::FPPass< CopyProp, Lam >	inlineprotected
Super typedef	mim::FPPass< CopyProp, Lam >
undo_enter(Def *mut) const	mim::FPPass< CopyProp, Lam >	inlineprotected
undo_visit(Def *mut) const	mim::FPPass< CopyProp, Lam >	inlineprotected
world()	mim::Pass	inline
~Pass()=default	mim::Pass	virtual