Hierarchy For Package org.aya.tyck.pat

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.pat.ClauseTycker
  • org.aya.tyck.pat.PatternTycker
  • org.aya.tyck.tycker.TracedTycker
    • org.aya.tyck.tycker.StatedTycker
      • org.aya.tyck.pat.PatClassifier (implements org.aya.util.tyck.pat.ClassifierUtil<Subst,Term,Param,Pat,Var>)

Interface Hierarchy

• org.aya.util.reporter.Problem
  • org.aya.tyck.pat.ClausesProblem
  • org.aya.tyck.pat.PatternProblem

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.pat.ClausesProblem.Conditions (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Confluence (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Domination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.FMDomination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.MissingCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.UnsureCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClauseTycker.AllLhsResult
    • org.aya.tyck.pat.ClauseTycker.LhsResult
    • org.aya.tyck.pat.ClauseTycker.PatResult
    • org.aya.tyck.pat.Conquer
    • org.aya.tyck.pat.PatternProblem.BadLitPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.BlockedEval (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.InsufficientPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.InvalidEmptyBody (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.pat.PatternProblem.PossiblePat (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.SplittingOnNonData (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyImplicitPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TupleNonSig (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnavailableCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnknownCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternTycker.TyckResult
    • org.aya.tyck.pat.TypedSubst
    • org.aya.tyck.pat.YouTrack