Hierarchy For Package org.aya.tyck.pat

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.pat.PatternTycker (implements org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.pat.BindEater (implements java.util.function.UnaryOperator<T>)
    • org.aya.tyck.pat.ClauseTycker (implements org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.pat.ClauseTycker.LhsResult
    • org.aya.tyck.pat.ClauseTycker.TyckResult
    • org.aya.tyck.pat.ClauseTycker.Worker
    • org.aya.tyck.pat.IApplyConfl
    • org.aya.tyck.pat.PatClassifier (implements org.aya.util.tyck.pat.ClassifierUtil<Subst,Term,Param,Pat>, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.pat.PatternTycker.TyckResult
    • org.aya.tyck.pat.YouTrack