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

Packages that use Substitution

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.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

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

Methods in edu.harvard.seas.pl.abcdatalog.ast that return Substitution

Modifier and Type	Method	Description
Substitution	PositiveAtom.unify(PositiveAtom fact)	Attempts to unify this atom with a fact (i.e., a ground atom).

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

Modifier and Type	Method	Description
Premise	BinaryDisunifier.applySubst(Substitution subst)
Premise	BinaryUnifier.applySubst(Substitution subst)
Term	Constant.applySubst(Substitution subst)
Head	Head.applySubst(Substitution subst)
Premise	NegatedAtom.applySubst(Substitution subst)
PositiveAtom	PositiveAtom.applySubst(Substitution subst)	Apply a substitution to the terms in this atom.
Premise	Premise.applySubst(Substitution subst)
Term	Term.applySubst(Substitution subst)
Term	Variable.applySubst(Substitution subst)

Uses of Substitution in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type Substitution

Modifier and Type	Method	Description
Premise	AnnotatedAtom.applySubst(Substitution subst)

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

Subinterfaces of Substitution in edu.harvard.seas.pl.abcdatalog.util.substitution

Modifier and Type	Interface	Description
interface	ConstOnlySubstitution	A mapping from variables to constants.
interface	TermUnifier	A substitution that allows a variable to be mapped to (i.e., unified with) multiple terms, as long as no two of those terms are constants.

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

Modifier and Type	Class	Description
class	ClauseSubstitution	This is a substitution tailor-made for a particular clause.
class	SimpleConstSubstitution	A mapping from variables to constants.
class	UnionFindBasedUnifier	A mapping from variables to terms.

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

Modifier and Type	Method	Description
static Substitution	UnionFindBasedUnifier.fromTerms(Term[] elts, Term[] elts2)	Creates a substitution from unifying two arrays of terms.

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution with parameters of type Substitution

Modifier and Type	Method	Description
static Clause	SubstitutionUtils.applyToClause(Substitution subst, Clause cl)
static List<PositiveAtom>	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms)	Apply a substitution to the given positive atoms, returning a list of the resulting atoms (in order).
static void	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms, Collection<PositiveAtom> acc)	Apply a substitution to the given positive atoms, adding the resulting atoms to the provided collection (in order).