Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.Term

Packages that use Term

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.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.
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.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

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

Classes in edu.harvard.seas.pl.abcdatalog.ast that implement Term

Modifier and Type	Class	Description
class	Constant	A zero-ary function symbol (i.e., a constant in Datalog).
class	Variable	A Datalog variable.

Fields in edu.harvard.seas.pl.abcdatalog.ast declared as Term

Modifier and Type	Field	Description
protected final Term[]	PositiveAtom.args	Arguments of this atom.

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

Modifier and Type	Method	Description
Term	Constant.applySubst(Substitution subst)
Term	Term.applySubst(Substitution subst)
Term	Variable.applySubst(Substitution subst)
Term[]	NegatedAtom.getArgs()
Term[]	PositiveAtom.getArgs()
Term	BinaryDisunifier.getLeft()
Term	BinaryUnifier.getLeft()
Term	BinaryDisunifier.getRight()
Term	BinaryUnifier.getRight()

Methods in edu.harvard.seas.pl.abcdatalog.ast that return types with arguments of type Term

Modifier and Type	Method	Description
Iterable<Term>	BinaryDisunifier.getArgsIterable()
Iterable<Term>	BinaryUnifier.getArgsIterable()

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

Modifier and Type	Method	Description
static PositiveAtom	PositiveAtom.create(PredicateSym pred, Term[] args)	A static factory method for the creation of atoms.
static <T> T	TermHelpers.fold(Term[] terms, TermVisitor<T,T> tv, T init)
static boolean	TermHelpers.unify(Term u, Term v, ConstOnlySubstitution s)
static boolean	TermHelpers.unify(Term u, Term v, TermUnifier s)

Method parameters in edu.harvard.seas.pl.abcdatalog.ast with type arguments of type Term

Modifier and Type	Method	Description
static <T> T	TermHelpers.fold(Iterable<Term> terms, TermVisitor<T,T> tv, T init)

Constructors in edu.harvard.seas.pl.abcdatalog.ast with parameters of type Term

Modifier	Constructor	Description
	BinaryDisunifier(Term left, Term right)
	BinaryUnifier(Term left, Term right)
	NegatedAtom(PredicateSym pred, Term[] args)
protected	PositiveAtom(PredicateSym pred, Term[] args)	Constructs an atom from a predicate symbol and a list of arguments.

Uses of Term in edu.harvard.seas.pl.abcdatalog.ast.visitors

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.visitors with type arguments of type Term

Modifier and Type	Method	Description
TermVisitor<I,O>	TermVisitorBuilder.or(BiFunction<Term,I,O> f)

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

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return Term

Modifier and Type	Method	Description
Term[]	AnnotatedAtom.getArgs()

Uses of Term in edu.harvard.seas.pl.abcdatalog.engine.topdown

Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown declared as Term

Modifier and Type	Field	Description
final Term[]	Tuple.elts	The terms in this tuple.

Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown with type parameters of type Term

Modifier and Type	Field	Description
final List<Term>	TermSchema.attributes	The attributes of this schema.

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return Term

Modifier and Type	Method	Description
Term	TermSchema.get(int i)	Returns the term at the given index into the schema.
Term	Tuple.get(int i)	Returns the term at the ith position in this tuple (0-indexed).
Term[]	AdornedAtom.getArgs()

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type Term

Modifier and Type	Method	Description
int	TermSchema.get(Term t)	Returns the index of the given term in the schema.

Constructors in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type Term

Modifier	Constructor	Description
	AdornedAtom(AdornedPredicateSym pred, Term[] args)	Constructs an adorned atom with the given predicate symbol and arguments.
	Tuple(Term[] elts)

Constructor parameters in edu.harvard.seas.pl.abcdatalog.engine.topdown with type arguments of type Term

Modifier	Constructor	Description
	TermSchema(List<Term> terms)	Constructs a schema from a list of terms.
	Tuple(List<Term> elts)	Constructs a tuple from a list of terms.

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

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

Modifier and Type	Method	Description
Term[]	ClauseSubstitution.apply(Term[] original)
Term[]	SimpleConstSubstitution.apply(Term[] terms)
Term[]	Substitution.apply(Term[] original)	Apply this substitution to a list of terms, creating a new list.
Term[]	UnionFindBasedUnifier.apply(Term[] original)
Term	Substitution.get(Variable x)	Retrieves the mapping of a variable.
Term	UnionFindBasedUnifier.get(Variable x)	Retrieves the mapping of a variable.

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

Modifier and Type	Method	Description
Term[]	ClauseSubstitution.apply(Term[] original)
Term[]	SimpleConstSubstitution.apply(Term[] terms)
Term[]	Substitution.apply(Term[] original)	Apply this substitution to a list of terms, creating a new list.
Term[]	UnionFindBasedUnifier.apply(Term[] original)
static Substitution	UnionFindBasedUnifier.fromTerms(Term[] elts, Term[] elts2)	Creates a substitution from unifying two arrays of terms.
void	UnionFindBasedUnifier.put(Variable v, Term t)	Adds a mapping from a variable to a term.
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).
boolean	TermUnifier.unify(Variable u, Term v)	Attempts to unify a variable with a term.
boolean	UnionFindBasedUnifier.unify(Variable u, Term v)

Method parameters in edu.harvard.seas.pl.abcdatalog.util.substitution with type arguments of type Term

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