程序包org.aya.core.visitor的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.core.visitor.VarConsumer.ScopeChecker (implements org.aya.core.visitor.VarConsumer)

接口分层结构

• java.util.function.Consumer<T>
  • org.aya.core.visitor.TermConsumer
    • org.aya.core.visitor.DefConsumer
    • org.aya.core.visitor.VarConsumer
• java.util.function.Function<T,R>
  • org.aya.core.visitor.EndoFunctor
    • org.aya.core.visitor.BetaExpander
      • org.aya.core.visitor.Expander (并 extends org.aya.core.visitor.DeltaExpander)
    • org.aya.core.visitor.DeltaExpander
      • org.aya.core.visitor.Expander (并 extends org.aya.core.visitor.BetaExpander)
  • org.aya.core.visitor.MonoidalVarFolder<R>

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.core.visitor.EndoFunctor.Elevator (implements org.aya.core.visitor.EndoFunctor)
    • org.aya.core.visitor.EndoFunctor.Renamer (implements org.aya.core.visitor.EndoFunctor)
    • org.aya.core.visitor.EndoFunctor.Substituter (implements org.aya.core.visitor.BetaExpander)
    • org.aya.core.visitor.Expander.Normalizer (implements org.aya.core.visitor.Expander)
    • org.aya.core.visitor.Expander.Tracked (implements org.aya.core.visitor.Expander)
    • org.aya.core.visitor.Expander.WHNFer (implements org.aya.core.visitor.Expander)
    • org.aya.core.visitor.MonoidalVarFolder.RefFinder (implements org.aya.core.visitor.MonoidalVarFolder<R>)
    • org.aya.core.visitor.MonoidalVarFolder.Usages (implements org.aya.core.visitor.MonoidalVarFolder<R>)
    • org.aya.core.visitor.Subst (implements org.aya.generic.AyaDocile, org.aya.guest0x0.cubical.CofThy.SubstObj<E,V,Subst>)
    • org.aya.core.visitor.Zonker (implements org.aya.core.visitor.EndoFunctor)
    • org.aya.core.visitor.Zonker.UnsolvedMeta (implements org.aya.util.reporter.Problem)