mim::SingleErasure Member List

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

abstracted(const Def *old_def) const	mim::RWPhase	inline
analysis()	mim::RWPhase	inline
analysis() const	mim::RWPhase	inline
analyze()	mim::RWPhase	virtual
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
coerce(const Def *new_type, const Def *new_val)	mim::RWPhase	protected
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::RWPhase	inlineprotectedvirtual
has_intersection(const Def *old_def)	mim::Rewriter	inlineprotected
hook(Flags2Phases &phases)	mim::Phase	inlinestatic
invalidate(bool todo=true)	mim::Phase	inline
is_top(const Def *old_def) const	mim::RWPhase	inline
lattice(const Def *old_def) const	mim::RWPhase	inline
log() const	mim::Phase	inline
lookup(const Def *) override	mim::RWPhase	virtual
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
new_world()	mim::RWPhase	inline
old2new()	mim::Rewriter	inlineprotected
old_world()	mim::RWPhase	inline
Phase(World &world, std::string name)	mim::Phase	inline
Phase(World &world, flags_t annex)	mim::Phase
pop()	mim::Rewriter	inline
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
reset()	mim::Rewriter
rewrite(const Def *)	mim::Rewriter	virtual
rewrite(Defs)	mim::Rewriter	virtual
rewrite_external(Def *)	mim::RWPhase	virtual
rewrite_imm(const Def *)	mim::Rewriter	virtual
rewrite_imm_App(const App *) override	mim::RWPhase	protectedvirtual
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 *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Idx(const Idx *)	mim::Rewriter	virtual
rewrite_imm_Inj(const Inj *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Insert(const Insert *) final	mim::SingleErasure	privatevirtual
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 *) final	mim::SingleErasure	privatevirtual
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 *)	mim::Rewriter	virtual
rewrite_imm_Reform(const Reform *)	mim::Rewriter	virtual
rewrite_imm_Rule(const Rule *)	mim::Rewriter	virtual
rewrite_imm_Seq(const Seq *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Sigma(const Sigma *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Single(const Single *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Struc(const Struc *)	mim::Rewriter	virtual
rewrite_imm_Top(const Top *)	mim::Rewriter	virtual
rewrite_imm_Tuple(const Tuple *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Type(const Type *)	mim::Rewriter	virtual
rewrite_imm_Var(const Var *)	mim::Rewriter	virtual
rewrite_imm_Variant(const Variant *) final	mim::SingleErasure	privatevirtual
rewrite_imm_Wrap(const Wrap *) final	mim::SingleErasure	privatevirtual
rewrite_mut(Def *)	mim::Rewriter	virtual
rewrite_mut_Arr(Arr *)	mim::Rewriter	virtual
rewrite_mut_Hole(Hole *)	mim::Rewriter	virtual
rewrite_mut_Lam(Lam *)	mim::Rewriter	virtual
rewrite_mut_Pack(Pack *)	mim::Rewriter	virtual
rewrite_mut_Pi(Pi *)	mim::Rewriter	virtual
rewrite_mut_Rule(Rule *)	mim::Rewriter	virtual
rewrite_mut_Seq(Seq *) final	mim::SingleErasure	privatevirtual
rewrite_mut_Sigma(Sigma *) final	mim::SingleErasure	privatevirtual
rewrite_mut_Variant(Variant *)	mim::Rewriter	virtual
rewrite_stub(Def *, Def *) override	mim::RWPhase	protectedvirtual
rewrite_stub(Def *old_mut, Def *new_mut, fe::View< size_t > new2old)	mim::RWPhase	protected
Rewriter(World &world)	mim::Rewriter
run()	mim::Phase	virtual
run(Args &&... args)	mim::Phase	inlinestatic
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)	mim::RWPhase	inline
RWPhase(World &world, flags_t annex, Analysis *analysis=nullptr)	mim::RWPhase	inline
scopes_	mim::Rewriter	protected
seal(Def *old_mut, Def *new_mut)	mim::Rewriter	protected
SingleErasure(World &world, std::string name)	mim::SingleErasure	inline
SingleErasure(World &world, flags_t annex)	mim::SingleErasure	inline
splittable(const Def *type)	mim::RWPhase	inlineprotectedstatic
start() override	mim::RWPhase	protectedvirtual
take_resolved()	mim::Phase	inlinevirtual
todo() const	mim::Phase	inline
world()=delete	mim::RWPhase
~Phase()=default	mim::Phase	virtual
~Rewriter()	mim::Rewriter	virtual