模块 aya.base

程序包 org.aya.tyck.unify

package org.aya.tyck.unify

相关程序包

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

类	说明
TermComparator	Bidirectional unification of terms, with abstract TermComparator.solveMeta(org.aya.core.term.Term, org.aya.tyck.unify.TermComparator.Sub, org.aya.tyck.unify.TermComparator.Sub, org.aya.core.term.CallTerm.Hole).
TermComparator.FailureData
TermComparator.Sub
Unifier	This class implements pattern unification with delayed constraints solving.