Module aya.base

Package org.aya.tyck.unify

package org.aya.tyck.unify

Related Packages

Package	Description
org.aya.tyck
org.aya.tyck.env
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.trace

Class	Description
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.MetaTerm).
TermComparator.FailureData
TermComparator.Sub
Unifier	This class implements pattern unification with delayed constraints solving.