Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple

Packages that use Tuple

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

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

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

Modifier and Type	Field	Description
protected Set<Tuple>	Relation.tuples	The tuples of this relation.

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

Modifier and Type	Method	Description
protected Tuple	AbstractQsqEngine.applyBoundArgs(Tuple t, List<Boolean> adornment, Tuple input)	Creates a new tuple that is like t except the bound terms of t have been replaced by the terms in input.
Tuple	Tuple.unify(Tuple other)	Attempts to unify this tuple with another tuple.

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return types with arguments of type Tuple

Modifier and Type	Method	Description
Iterator<Tuple>	Relation.iterator()

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

Modifier and Type	Method	Description
boolean	Relation.add(Tuple x)	Add a tuple of the proper arity to this relation.
protected Tuple	AbstractQsqEngine.applyBoundArgs(Tuple t, List<Boolean> adornment, Tuple input)	Creates a new tuple that is like t except the bound terms of t have been replaced by the terms in input.
Relation	Relation.applyTuplesAsSubstitutions(Tuple x)	For each tuple t in this relation, creates a substitution by mapping each attribute in the schema to the corresponding element in t, and then creates a new relation by applying each substitution to the input tuple x.
boolean	Relation.contains(Tuple x)	Returns whether this relation contains the input tuple x.
Tuple	Tuple.unify(Tuple other)	Attempts to unify this tuple with another tuple.

Method parameters in edu.harvard.seas.pl.abcdatalog.engine.topdown with type arguments of type Tuple

Modifier and Type	Method	Description
Relation	Relation.filter(Function<Tuple,Boolean> f)	Returns a new relation consisting of those tuples that meet the supplied predicate.