mim::Analysis Member List

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

Analysis(World &world, std::string name)	mim::Analysis	inline
Analysis(World &world, flags_t annex)	mim::Analysis	inline
annex() const	mim::Phase	inline
apply(const App *)	mim::Phase	inlinevirtual
apply(Phase &)	mim::Phase	inlinevirtual
args()	mim::Phase
bind(const Var *old_var, const Var *new_var)	mim::Rewriter	inline
bind_new(const Var *var)	mim::Rewriter
bind_old(const Var *var)	mim::Rewriter
create(const Flags2Phases &phases, const Def *def)	mim::Phase	static
curr_mut() const	mim::Rewriter	inline
driver()	mim::Phase	inline
enter(Def *new_mut)	mim::Rewriter	inlineprotected
finalize()	mim::Analysis	inlineprotectedvirtual
has_intersection(const Def *old_def)	mim::Rewriter	inlineprotected
hook(Flags2Phases &phases)	mim::Phase	inlinestatic
invalidate(bool todo=true)	mim::Phase	inline
is_singleton(const Def *def)	mim::Analysis	inlineprotectedstatic
is_top(const Def *def) const	mim::Analysis	inline
lattice() const	mim::Analysis	inline
lattice(const Def *def) const	mim::Analysis	inline
lattice(const Def *concr, const Def *abstr)	mim::Analysis	protected
lattice_erase(const Def *concr)	mim::Analysis	inlineprotected
lattice_force(const Def *concr, const Def *abstr)	mim::Analysis	protected
leave()	mim::Analysis	inlineprotectedvirtual
log() const	mim::Phase	inline
lookup(const Def *) override	mim::Analysis	protectedvirtual
make_dense()	mim::Analysis	inline
map(const Def *old_def, const Def *new_def)	mim::Rewriter
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::Phase	inline
name_	mim::Phase	protected
old2new()	mim::Rewriter	inlineprotected
Phase(World &world, std::string name)	mim::Phase	inline
Phase(World &world, flags_t annex)	mim::Phase
pin(const Def *def)	mim::Analysis	inlineprotected
pin_imm(DefSet &visited, const Def *def, DefPred auto pinnable)	mim::Analysis	inlineprotected
pin_imm(const Def *def, DefPred auto pinnable)	mim::Analysis	inlineprotected
pop()	mim::Rewriter	inline
prepare()	mim::Analysis	inlineprotectedvirtual
profile_count(std::string_view key, uint64_t n=1)	mim::Phase
push(Vars old_vars={}, Vars new_vars={})	mim::Rewriter	inline
recreate()	mim::Phase	virtual
redirects() const	mim::Phase	inlinevirtual
repr(const Def *def) const	mim::Analysis	inline
reset()	mim::Analysis	virtual
rewrite(const Def *) override	mim::Analysis	protectedvirtual
mim::Rewriter::rewrite(Defs)	mim::Rewriter	virtual
rewrite_external(Def *)	mim::Analysis	protectedvirtual
rewrite_imm(const Def *)	mim::Rewriter	virtual
rewrite_imm_App(const App *)	mim::Rewriter	virtual
rewrite_imm_Arr(const Arr *)	mim::Rewriter	virtual
rewrite_imm_Axm(const Axm *)	mim::Rewriter	virtual
rewrite_imm_Bot(const Bot *)	mim::Rewriter	virtual
rewrite_imm_Extract(const Extract *)	mim::Rewriter	virtual
rewrite_imm_Idx(const Idx *)	mim::Rewriter	virtual
rewrite_imm_Inj(const Inj *)	mim::Rewriter	virtual
rewrite_imm_Insert(const Insert *)	mim::Rewriter	virtual
rewrite_imm_Join(const Join *)	mim::Rewriter	virtual
rewrite_imm_Lam(const Lam *)	mim::Rewriter	virtual
rewrite_imm_Level(const Level *)	mim::Rewriter	virtual
rewrite_imm_Lit(const Lit *)	mim::Rewriter	virtual
rewrite_imm_LMax(const LMax *)	mim::Rewriter	virtual
rewrite_imm_LSucc(const LSucc *)	mim::Rewriter	virtual
rewrite_imm_Match(const Match *)	mim::Rewriter	virtual
rewrite_imm_Name(const Name *)	mim::Rewriter	virtual
rewrite_imm_Nat(const Nat *)	mim::Rewriter	virtual
rewrite_imm_Nom(const Nom *)	mim::Rewriter	virtual
rewrite_imm_Pack(const Pack *)	mim::Rewriter	virtual
rewrite_imm_Pi(const Pi *)	mim::Rewriter	virtual
rewrite_imm_Proxy(const Proxy *proxy) override	mim::Analysis	inlineprotectedvirtual
rewrite_imm_Reform(const Reform *)	mim::Rewriter	virtual
rewrite_imm_Rule(const Rule *)	mim::Rewriter	virtual
rewrite_imm_Seq(const Seq *seq)	mim::Rewriter	virtual
rewrite_imm_Sigma(const Sigma *)	mim::Rewriter	virtual
rewrite_imm_Single(const Single *)	mim::Rewriter	virtual
rewrite_imm_Struc(const Struc *)	mim::Rewriter	virtual
rewrite_imm_Top(const Top *)	mim::Rewriter	virtual
rewrite_imm_Tuple(const Tuple *)	mim::Rewriter	virtual
rewrite_imm_Type(const Type *)	mim::Rewriter	virtual
rewrite_imm_Var(const Var *)	mim::Rewriter	virtual
rewrite_imm_Variant(const Variant *)	mim::Rewriter	virtual
rewrite_imm_Wrap(const Wrap *)	mim::Rewriter	virtual
rewrite_mut(Def *) final	mim::Analysis	protectedvirtual
rewrite_mut_Arr(Arr *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Hole(Hole *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Lam(Lam *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Pack(Pack *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Pi(Pi *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Rule(Rule *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Seq(Seq *seq)	mim::Rewriter	virtual
rewrite_mut_Sigma(Sigma *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_mut_Variant(Variant *mut) override	mim::Analysis	inlineprotectedvirtual
rewrite_stub(Def *, Def *)	mim::Rewriter	virtual
rewrite_stub(Def *old_mut, Def *new_mut, fe::View< size_t > new2old)	mim::Rewriter
Rewriter(World &world)	mim::Rewriter
run()	mim::Phase	virtual
run(Args &&... args)	mim::Phase	inlinestatic
scopes_	mim::Rewriter	protected
seal(Def *old_mut, Def *new_mut)	mim::Rewriter	protected
start() override	mim::Analysis	protectedvirtual
taint(Def *mut)	mim::Analysis	inlineprotected
take_resolved()	mim::Phase	inlinevirtual
todo() const	mim::Phase	inline
touch()	mim::Analysis	inlineprotected
version() const	mim::Analysis	inline
world()	mim::Analysis	inline
~Phase()=default	mim::Phase	virtual
~Rewriter()	mim::Rewriter	virtual