Uses of Interface
edu.harvard.seas.pl.abcdatalog.util.substitution.TermUnifier

Packages that use TermUnifier

Package	Description
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Uses of TermUnifier in edu.harvard.seas.pl.abcdatalog.ast

Methods in edu.harvard.seas.pl.abcdatalog.ast with parameters of type TermUnifier

Modifier and Type	Method	Description
static boolean	TermHelpers.unify(Term u, Term v, TermUnifier s)

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

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution that implement TermUnifier

Modifier and Type	Class	Description
class	UnionFindBasedUnifier	A mapping from variables to terms.