MimIR
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::Rewriter Member List

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

bind(const Var *old_var, const Var *new_var)mim::Rewriterinline
bind_new(const Var *var)mim::Rewriter
bind_old(const Var *var)mim::Rewriter
curr_mut() constmim::Rewriterinline
enter(Def *new_mut)mim::Rewriterinlineprotected
has_intersection(const Def *old_def)mim::Rewriterinlineprotected
lookup(const Def *old_def)mim::Rewriterinlinevirtual
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
old2new()mim::Rewriterinlineprotected
pop()mim::Rewriterinline
push(Vars old_vars={}, Vars new_vars={})mim::Rewriterinline
reset()mim::Rewriter
rewrite(const Def *)mim::Rewritervirtual
rewrite(Defs)mim::Rewritervirtual
rewrite_imm(const Def *)mim::Rewritervirtual
rewrite_imm_App(const App *)mim::Rewritervirtual
rewrite_imm_Arr(const Arr *)mim::Rewritervirtual
rewrite_imm_Axm(const Axm *)mim::Rewritervirtual
rewrite_imm_Bot(const Bot *)mim::Rewritervirtual
rewrite_imm_Extract(const Extract *)mim::Rewritervirtual
rewrite_imm_Idx(const Idx *)mim::Rewritervirtual
rewrite_imm_Inj(const Inj *)mim::Rewritervirtual
rewrite_imm_Insert(const Insert *)mim::Rewritervirtual
rewrite_imm_Join(const Join *)mim::Rewritervirtual
rewrite_imm_Lam(const Lam *)mim::Rewritervirtual
rewrite_imm_Level(const Level *)mim::Rewritervirtual
rewrite_imm_Lit(const Lit *)mim::Rewritervirtual
rewrite_imm_LMax(const LMax *)mim::Rewritervirtual
rewrite_imm_LSucc(const LSucc *)mim::Rewritervirtual
rewrite_imm_Match(const Match *)mim::Rewritervirtual
rewrite_imm_Name(const Name *)mim::Rewritervirtual
rewrite_imm_Nat(const Nat *)mim::Rewritervirtual
rewrite_imm_Nom(const Nom *)mim::Rewritervirtual
rewrite_imm_Pack(const Pack *)mim::Rewritervirtual
rewrite_imm_Pi(const Pi *)mim::Rewritervirtual
rewrite_imm_Proxy(const Proxy *)mim::Rewritervirtual
rewrite_imm_Reform(const Reform *)mim::Rewritervirtual
rewrite_imm_Rule(const Rule *)mim::Rewritervirtual
rewrite_imm_Seq(const Seq *seq)mim::Rewritervirtual
rewrite_imm_Sigma(const Sigma *)mim::Rewritervirtual
rewrite_imm_Single(const Single *)mim::Rewritervirtual
rewrite_imm_Struc(const Struc *)mim::Rewritervirtual
rewrite_imm_Top(const Top *)mim::Rewritervirtual
rewrite_imm_Tuple(const Tuple *)mim::Rewritervirtual
rewrite_imm_Type(const Type *)mim::Rewritervirtual
rewrite_imm_Var(const Var *)mim::Rewritervirtual
rewrite_imm_Variant(const Variant *)mim::Rewritervirtual
rewrite_imm_Wrap(const Wrap *)mim::Rewritervirtual
rewrite_mut(Def *)mim::Rewritervirtual
rewrite_mut_Arr(Arr *)mim::Rewritervirtual
rewrite_mut_Hole(Hole *)mim::Rewritervirtual
rewrite_mut_Lam(Lam *)mim::Rewritervirtual
rewrite_mut_Pack(Pack *)mim::Rewritervirtual
rewrite_mut_Pi(Pi *)mim::Rewritervirtual
rewrite_mut_Rule(Rule *)mim::Rewritervirtual
rewrite_mut_Seq(Seq *seq)mim::Rewritervirtual
rewrite_mut_Sigma(Sigma *)mim::Rewritervirtual
rewrite_mut_Variant(Variant *)mim::Rewritervirtual
rewrite_stub(Def *, Def *)mim::Rewritervirtual
rewrite_stub(Def *old_mut, Def *new_mut, fe::View< size_t > new2old)mim::Rewriter
Rewriter(World &world)mim::Rewriter
scopes_mim::Rewriterprotected
seal(Def *old_mut, Def *new_mut)mim::Rewriterprotected
swap(Rewriter &rw1, Rewriter &rw2) noexceptmim::Rewriterfriend
world()mim::Rewriterinline
~Rewriter()mim::Rewritervirtual