Hierarchy For Package org.aya.core.visitor

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.core.visitor.AyaRestrSimplifier (implements org.aya.guest0x0.cubical.RestrSimplifier<T,LocalVar>)
  • 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.DefConsumer
    • org.aya.core.visitor.VarConsumer
• java.util.function.Function<T,R>
  • org.aya.core.visitor.PatTraversal
    • org.aya.core.visitor.PatTraversal.NoMeta
  • 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.DeltaExpander
        • org.aya.core.visitor.Expander (also extends org.aya.core.visitor.BetaExpander)

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.Renamer (implements org.aya.core.visitor.EndoTerm)
    • org.aya.core.visitor.EndoTerm.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.PatTraversal.MetaBind (implements org.aya.core.visitor.PatTraversal.NoMeta)
    • org.aya.core.visitor.Subst (implements org.aya.generic.AyaDocile, org.aya.guest0x0.cubical.CofThy.SubstObj<E,V,Subst>)
    • org.aya.core.visitor.TermFolder.RefFinder (implements org.aya.core.visitor.TermFolder<R>)
    • 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)