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

Packages that use SimpleConstSubstitution

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 SimpleConstSubstitution in edu.harvard.seas.pl.abcdatalog.util.substitution

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

Modifier and Type	Method	Description
static SimpleConstSubstitution	SimpleConstSubstitution.unify(Term[] xs, Term[] ys)	Creates a substitution from unifying two lists of terms, the second of which must be ground (i.e., contain no variables).

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

Modifier	Constructor	Description
	SimpleConstSubstitution(SimpleConstSubstitution other)	Constructs a copy of another substitution.