Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Package
Description
This package contains implementations of standard top-down Datalog evaluation algorithms.
-
Uses of TermSchema in edu.harvard.seas.pl.abcdatalog.engine.topdown
Modifier and TypeFieldDescriptionprotected TermSchema
Relation.attributes
The attribute schema of this relation.Modifier and TypeMethodDescriptionQsqTemplate.get
(int i) Returns the schema for the ith (0-indexed) supplementary relation.Relation.getAttributes()
Returns the attribute schema for this relation.Modifier and TypeMethodDescriptionRelation.joinAndProject
(Relation other, TermSchema schema) Creates a new relation by joining this relation with the other relation and projecting onto the supplied attribute schema.void
Relation.renameAttributes
(TermSchema schema) Change the attribute schema of this relation to the supplied one, which must be of the same arity as this relation.ModifierConstructorDescriptionQsqSupRelation
(TermSchema schema) Constructs an empty supplementary relation with the supplied schema.Relation
(TermSchema attributes) Constructs an empty relation with the given attribute schema.TermSchema
(TermSchema other) Constructs a schema from another schema.