模块 aya.base

程序包 org.aya.tyck.pat

package org.aya.tyck.pat

Related Packages

程序包	说明
org.aya.tyck
org.aya.tyck.env
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.trace
org.aya.tyck.unify

类	说明
ClausesProblem
ClausesProblem.Conditions
ClausesProblem.Confluence
ClausesProblem.Domination
ClausesProblem.FMDomination
ClausesProblem.MissingBindCase
ClausesProblem.MissingCase
ClausesProblem.SplitInterval
ClausesProblem.UnsureCase
Conquer	The name is short for "condition checker"
PatClassifier
PatClassifier.PatErr
PatternProblem
PatternProblem.BlockedEval
PatternProblem.InsufficientPattern
PatternProblem.PossiblePat
PatternProblem.SplittingOnNonData
PatternProblem.TooManyImplicitPattern
PatternProblem.TooManyPattern
PatternProblem.TupleNonSig
PatternProblem.UnavailableCtor
PatternProblem.UnknownCtor
PatTree
PatTree.Builder
PatTycker
PatTycker.LhsResult
PatTycker.PatResult