| add(const Var *var, const Def *arg) | mim::VarRewriter | inline |
| 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 | |
| curr_mut() const | mim::Rewriter | inline |
| enter(Def *new_mut) | mim::Rewriter | inlineprotected |
| has_intersection(const Def *old_def) | mim::Rewriter | inlineprotected |
| lookup(const Def *old_def) | mim::Rewriter | inlinevirtual |
| 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::Rewriter | inlineprotected |
| pop() | mim::Rewriter | inline |
| push(Vars old_vars={}, Vars new_vars={}) | mim::Rewriter | inline |
| reset() | mim::Rewriter | |
| rewrite(const Def *) final | mim::VarRewriter | virtual |
| mim::Rewriter::rewrite(Defs) | mim::Rewriter | virtual |
| 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 *) | mim::Rewriter | virtual |
| 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::VarRewriter | 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 *seq) | mim::Rewriter | virtual |
| rewrite_mut_Sigma(Sigma *) | mim::Rewriter | virtual |
| rewrite_mut_Variant(Variant *) | mim::Rewriter | virtual |
| 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 | |
| scopes_ | mim::Rewriter | protected |
| seal(Def *old_mut, Def *new_mut) | mim::Rewriter | protected |
| swap(VarRewriter &vrw1, VarRewriter &vrw2) noexcept | mim::VarRewriter | friend |
| VarRewriter(World &world) | mim::VarRewriter | inline |
| VarRewriter(const Var *var, const Def *arg) | mim::VarRewriter | inline |
| world() | mim::Rewriter | inline |
| ~Rewriter() | mim::Rewriter | virtual |
1.18.0