Uses of Class
edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier

Packages that use UnionFindBasedUnifier

Package	Description
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Uses of UnionFindBasedUnifier in edu.harvard.seas.pl.abcdatalog.util.substitution

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that return UnionFindBasedUnifier

Modifier and Type	Method	Description
static UnionFindBasedUnifier	UnionFindBasedUnifier.fromTerms(List<Term> xs, List<Term> ys)	Creates a substitution from unifying two lists of terms.

Constructors in edu.harvard.seas.pl.abcdatalog.util.substitution with parameters of type UnionFindBasedUnifier

Modifier	Constructor	Description
	UnionFindBasedUnifier(UnionFindBasedUnifier other)	Constructs a substitution from another substitution.