Class QsqSupRelation

java.lang.Object
edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
All Implemented Interfaces:
Iterable<Tuple>

public class QsqSupRelation extends Relation
A supplementary relation used in QSQ evaluation.

It is modeled as a node in a linked list. The intention is that each node contains the tuples for the supplementary relation itself, a pointer to the atom that appears after the supplementary relation in the relevant rule, and a pointer to the next supplementary relation in the same rule.
  • Field Details

    • next

      public QsqSupRelation next
      Points to the next supplementary relation in the rule being evaluated.
    • nextAtom

      public AdornedAtom nextAtom
      Points to the atom that follows this supplementary relation in the rule being evaluated.
  • Constructor Details

    • QsqSupRelation

      public QsqSupRelation(TermSchema schema)
      Constructs an empty supplementary relation with the supplied schema.
      Parameters:
      schema - schema of supplementary relation
  • Method Details