Hierarchy For Package org.aya.core.visitor

Package Hierarchies:

• All Packages

Class Hierarchy

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

Interface Hierarchy

• java.util.function.Consumer<T>
  • org.aya.core.visitor.TermConsumer
    • org.aya.core.visitor.VarConsumer
• java.util.function.Function<T,R>
  • org.aya.core.visitor.TermFolder<R>
  • java.util.function.UnaryOperator<T>
    • org.aya.core.visitor.EndoTerm
      • org.aya.core.visitor.BetaExpander
        • org.aya.core.visitor.Expander (also extends org.aya.core.visitor.DeltaExpander)
      • org.aya.core.visitor.DefVisitor
      • org.aya.core.visitor.DeltaExpander
        • org.aya.core.visitor.Expander (also extends org.aya.core.visitor.BetaExpander)
      • org.aya.core.visitor.EndoTerm.NoMeta

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.core.visitor.AyaRestrSimplifier (implements org.aya.guest0x0.cubical.RestrSimplifier<T,LocalVar>)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.core.visitor.EndoTerm.Elevator (implements org.aya.core.visitor.EndoTerm)
    • org.aya.core.visitor.EndoTerm.MetaBind (implements org.aya.core.visitor.EndoTerm.NoMeta)
    • org.aya.core.visitor.EndoTerm.Renamer (implements org.aya.core.visitor.EndoTerm)
    • org.aya.core.visitor.EndoTerm.Substituter (implements org.aya.core.visitor.BetaExpander)
    • org.aya.core.visitor.Expander.ConservativeWHNFer (implements org.aya.core.visitor.Expander)
    • 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.Subst (implements org.aya.generic.AyaDocile, org.aya.guest0x0.cubical.CofThy.SubstObj<E,V,Subst>)
    • org.aya.core.visitor.TermFolder.Usages (implements org.aya.core.visitor.TermFolder<R>)
    • org.aya.core.visitor.Zonker (implements org.aya.core.visitor.EndoTerm)
    • org.aya.core.visitor.Zonker.UnsolvedLit (implements org.aya.util.reporter.Problem)
    • org.aya.core.visitor.Zonker.UnsolvedMeta (implements org.aya.util.reporter.Problem)