Skip navigation links
A B C D E F G H I J M N O P Q R S T U V W 

A

AbstractQsqEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A Datalog engine that uses a variant of the query-subquery evaluation method.
AbstractQsqEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
 
AbstractTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
AbstractTests(Supplier<DatalogEngine>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
accept(TermVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
 
accept(HeadVisitor<I, O>, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Head
 
accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
accept(HeadVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
accept(PremiseVisitor<I, O>, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Premise
 
accept(TermVisitor<I, O>, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Term
 
accept(TermVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
 
accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
add(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Add a tuple of the proper arity to this relation.
add(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Adds a fact to this indexer.
add(PositiveAtom, ConstOnlySubstitution) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
Adds an atom a to this trie.
add(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
Adds a fact to this trie and returns whether the trie has changed.
add(T) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
Add an element to the bag.
add(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexer
Adds a fact to the FactIndexer.
add(Variable, Constant) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
add(Variable, Constant) - Method in interface edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution
Attempts to add a mapping to the substitution.
add(Variable, Constant) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
 
addAll(Relation) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Add all the tuples of another relation to this relation.
addAll(Iterable<PositiveAtom>) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Adds the facts to the index.
addAll(IndexableFactCollection) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Add all the facts from an indexable fact collection to this index.
addAll(Iterable<PositiveAtom>) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexer
Adds some number of facts to the FactIndexer.
addEdge(E) - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
addFact(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
Add a fact to this evaluation manager.
addFactAsynchronously(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor
Asynchronously adds a new EDB fact to the Datalog evaluation.
addFactAsynchronously(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
addListener(PredicateSym, DatalogListener) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
Registers a listener with this manager.
addVertex(V) - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
AdornedAtom - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
An adorned atom (i.e., an atom where every argument is marked as either bound or free).
AdornedAtom(AdornedPredicateSym, Term[]) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
Constructs an adorned atom with the given predicate symbol and arguments.
AdornedClause - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
An adorned clause (i.e., a Horn clause where every atom is itself adorned).
AdornedClause(AdornedAtom, List<AdornedAtom>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
Constructs an adorned clause given an adorned atom for the head and a list of adorned atoms for the body.
AdornedPredicateSym - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
An adorned predicate symbol.
AdornedPredicateSym(PredicateSym, List<Boolean>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
Constructs an adorned predicate symbol from a predicate symbol and an adornment.
annotate(DatalogValidator.ValidClause) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator
Returns a set of annotated clauses for a given unannotated clause.
annotate(Set<DatalogValidator.ValidClause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator
 
AnnotatedAtom - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
An annotated atom.
AnnotatedAtom(PositiveAtom, AnnotatedAtom.Annotation) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
AnnotatedAtom.Annotation - Enum in edu.harvard.seas.pl.abcdatalog.engine.bottomup
 
apply(Term[]) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
apply(Term[]) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
 
apply(Term[]) - Method in interface edu.harvard.seas.pl.abcdatalog.util.substitution.Substitution
Apply this substitution to a list of terms, creating a new list.
apply(Term[]) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
 
applyBoundArgs(Tuple, List<Boolean>, Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
Creates a new tuple that is like t except the bound terms of t have been replaced by the terms in input.
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
 
applySubst(Substitution) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Head
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Apply a substitution to the terms in this atom.
applySubst(Substitution) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Premise
 
applySubst(Substitution) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Term
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
 
applySubst(Substitution) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
applyToClause(Substitution, Clause) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SubstitutionUtils
 
applyToPositiveAtoms(Substitution, Iterable<PositiveAtom>, Collection<PositiveAtom>) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SubstitutionUtils
Apply a substitution to the given positive atoms, adding the resulting atoms to the provided collection (in order).
applyToPositiveAtoms(Substitution, Iterable<PositiveAtom>) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SubstitutionUtils
Apply a substitution to the given positive atoms, returning a list of the resulting atoms (in order).
applyTuplesAsSubstitutions(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
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.
args - Variable in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Arguments of this atom.
arity - Variable in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Arity of any atom formed from this predicate symbol.
arity - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
The fixed arity of this relation.
asPositiveAtom() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
asUnannotatedAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
attributes - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
The attribute schema of this relation.
attributes - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
The attributes of this schema.

B

BinaryDisunifier - Class in edu.harvard.seas.pl.abcdatalog.ast
This premise explicitly disallows the unification of two terms and is represented by the operator !=.
BinaryDisunifier(Term, Term) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
BinaryUnifier - Class in edu.harvard.seas.pl.abcdatalog.ast
This premise explicitly unifies two terms and is visually represented as the operator =.
BinaryUnifier(Term, Term) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
blockUntilFinished() - Method in class edu.harvard.seas.pl.abcdatalog.util.ExecutorServiceCounter
Blocks the calling thread until this ExecutorServiceCounter has no pending or incomplete tasks.
body - Variable in class edu.harvard.seas.pl.abcdatalog.ast.Clause
 
BottomUpEngineFrame<E extends EvalManager> - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
A framework for a bottom-up Datalog engine.
BottomUpEngineFrame(E) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame
Constructs a bottom-up engine with the provided evaluation manager.
BottomUpEngineFrameWithProvenance - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
 
BottomUpEngineFrameWithProvenance(EvalManagerWithProvenance) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrameWithProvenance
 
BottomUpEvalManager - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
An evaluation manager that implements a saturation algorithm similar to semi-naive evaluation.
BottomUpEvalManager() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
Box<T> - Class in edu.harvard.seas.pl.abcdatalog.util
 
Box() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.Box
 
Box(T) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.Box
 

C

checkIfEdbQuery(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
If query is for an EDB relation, returns facts that unify with that query.
Clause - Class in edu.harvard.seas.pl.abcdatalog.ast
A clause consisting of a head and a body, the latter of which is a list of premises.
Clause(Head, List<Premise>) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.Clause
 
ClauseEvaluator - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
This class provides a way to derive all the new facts that are derivable from a given rule, given an initial fact that unifies with the first atom in the body of the clause.
ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause, BiConsumer<PositiveAtom, ClauseSubstitution>, BiFunction<AnnotatedAtom, ClauseSubstitution, Iterable<PositiveAtom>>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.ClauseEvaluator
 
ClauseSubstitution - Class in edu.harvard.seas.pl.abcdatalog.util.substitution
This is a substitution tailor-made for a particular clause.
ClauseSubstitution(SemiNaiveClauseAnnotator.SemiNaiveClause) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
clear() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Clears this index.
clear() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
Clears this trie.
concurrency - Static variable in class edu.harvard.seas.pl.abcdatalog.util.Utilities
 
ConcurrentBottomUpEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
ConcurrentBottomUpEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentBottomUpEngine
 
ConcurrentBottomUpEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentBottomUpEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentBottomUpEngine.MyUnificationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentChunkedBottomUpEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
ConcurrentChunkedBottomUpEngine(int) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentChunkedBottomUpEngine
 
ConcurrentChunkedBottomUpEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentChunkedBottomUpEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentChunkedBottomUpEngine.MyUnificationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentFactIndexer<T extends Iterable<PositiveAtom>> - Class in edu.harvard.seas.pl.abcdatalog.util.datastructures
An index that holds facts.
ConcurrentFactIndexer(Supplier<T>, BiConsumer<T, PositiveAtom>) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Creates a new fact indexer.
ConcurrentFactIndexer(Supplier<T>, BiConsumer<T, PositiveAtom>, Supplier<T>) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
Creates a new fact indexer.
ConcurrentFactTrie - Class in edu.harvard.seas.pl.abcdatalog.util.datastructures
A trie that holds a set of facts (i.e., ground atoms).
ConcurrentFactTrie() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
 
ConcurrentLinkedBag<T> - Class in edu.harvard.seas.pl.abcdatalog.util.datastructures
A linked-list-backed bag that supports a minimal number of operations.
ConcurrentLinkedBag() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
 
ConcurrentLinkedBag.Node - Class in edu.harvard.seas.pl.abcdatalog.util.datastructures
A node in the linked list.
ConcurrentStratifiedNegationBottomUpEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
This class implements an experimental multi-threaded Datalog evaluation algorithm that supports explicit unification and stratified negation.
ConcurrentStratifiedNegationBottomUpEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine
 
ConcurrentStratifiedNegationBottomUpEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentStratifiedNegationBottomUpEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentStratifiedNegationBottomUpEngine.MyNegationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConcurrentStratifiedNegationBottomUpEngine.MyUnificationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
ConjunctiveQueryHelper - Class in edu.harvard.seas.pl.abcdatalog.engine
A helper that adds (naive) conjunctive query support to an arbitrary DatalogEngine by turning a conjunctive query into multiple singleton queries.
ConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
ConjunctiveQueryTests(Supplier<DatalogEngine>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
Constant - Class in edu.harvard.seas.pl.abcdatalog.ast
A zero-ary function symbol (i.e., a constant in Datalog).
ConstOnlySubstitution - Interface in edu.harvard.seas.pl.abcdatalog.util.substitution
A mapping from variables to constants.
consume(String) - Method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
Attempts to consume the supplied string from the beginning of the token stream.
contains(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Returns whether this relation contains the input tuple x.
CoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
CoreTests(Supplier<DatalogEngine>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
CrashHeadVisitor<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
CrashHeadVisitor() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashHeadVisitor
 
CrashPremiseVisitor<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
CrashPremiseVisitor() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
create(String) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
Returns a constant with the given string identifier.
create(PredicateSym, Term[]) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
A static factory method for the creation of atoms.
create(String, int) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Returns a predicate symbol with the given string identifier and arity.
create(String) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
Returns a variable with the given string identifier.
createConcurrentMap() - Static method in class edu.harvard.seas.pl.abcdatalog.util.Utilities
 
createConcurrentQueueFactIndexer() - Static method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexerFactory
Creates a fact indexer that uses concurrent queues for the base container.
createConcurrentSet() - Static method in class edu.harvard.seas.pl.abcdatalog.util.Utilities
 
createConcurrentSetFactIndexer() - Static method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexerFactory
Creates a fact indexer that uses concurrent sets for the base container.
createFreshVariable() - Static method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
 

D

DatalogEngine - Interface in edu.harvard.seas.pl.abcdatalog.engine
A Datalog evaluation engine.
DatalogEngineWithProvenance - Interface in edu.harvard.seas.pl.abcdatalog.engine
A Datalog evaluation engine that retains fact provenance.
DatalogExecutor - Interface in edu.harvard.seas.pl.abcdatalog.executor
A interface to an ongoing Datalog evaluation that allows for callbacks to be registered that are invoked when relevant new facts are derived and for new EDB facts to be added in the midst of evaluation.
DatalogGui - Class in edu.harvard.seas.pl.abcdatalog.gui
A GUI with a Datalog editor and interpreter.
DatalogGui() - Constructor for class edu.harvard.seas.pl.abcdatalog.gui.DatalogGui
Constructs the GUI.
DatalogListener - Interface in edu.harvard.seas.pl.abcdatalog.executor
A callback that is registered with a Datalog executor and is invoked during evaluation.
DatalogParallelExecutor - Class in edu.harvard.seas.pl.abcdatalog.executor
A Datalog executor that runs the actual Datalog evaluation concurrently in separate threads.
DatalogParallelExecutor() - Constructor for class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
DatalogParseException - Exception in edu.harvard.seas.pl.abcdatalog.parser
An exception signifying a parsing error.
DatalogParseException() - Constructor for exception edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
Constructs an exception signifying a parsing error.
DatalogParseException(String) - Constructor for exception edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
Constructs an exception signifying a parsing error.
DatalogParseException(Throwable) - Constructor for exception edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
Constructs an exception signifying a parsing error.
DatalogParseException(String, Throwable) - Constructor for exception edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
Constructs an exception signifying a parsing error.
DatalogParseException(String, Throwable, boolean, boolean) - Constructor for exception edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
Constructs an exception signifying a parsing error.
DatalogParser - Class in edu.harvard.seas.pl.abcdatalog.parser
A recursive descent parser for Datalog.
DatalogTokenizer - Class in edu.harvard.seas.pl.abcdatalog.parser
A tokenizer for Datalog.
DatalogTokenizer(Reader) - Constructor for class edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
Construct a stream of Datalog tokens from a Reader.
DatalogValidationException - Exception in edu.harvard.seas.pl.abcdatalog.ast.validation
 
DatalogValidationException() - Constructor for exception edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
 
DatalogValidationException(String) - Constructor for exception edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
 
DatalogValidationException(Throwable) - Constructor for exception edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
 
DatalogValidationException(String, Throwable) - Constructor for exception edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
 
DatalogValidationException(String, Throwable, boolean, boolean) - Constructor for exception edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
 
DatalogValidator - Class in edu.harvard.seas.pl.abcdatalog.ast.validation
A validator for a set of clauses.
DatalogValidator() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
DatalogValidator.ValidClause - Class in edu.harvard.seas.pl.abcdatalog.ast.validation
 
DefaultConjunctVisitor<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
DefaultConjunctVisitor() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
DefaultTermVisitor<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
DefaultTermVisitor() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor
 
Digraph<V,E extends DirectedEdge<V>> - Class in edu.harvard.seas.pl.abcdatalog.util.graph
 
Digraph() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
DirectedEdge<V> - Interface in edu.harvard.seas.pl.abcdatalog.util.graph
 

E

edbRelations - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
EDB facts mapped by predicate symbol.
edu.harvard.seas.pl.abcdatalog - package edu.harvard.seas.pl.abcdatalog
AbcDatalog, an implementation of Datalog that is intended to be easily extensible with new language features and new evaluation engines.
edu.harvard.seas.pl.abcdatalog.ast - package edu.harvard.seas.pl.abcdatalog.ast
This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.ast.validation - package edu.harvard.seas.pl.abcdatalog.ast.validation
This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).
edu.harvard.seas.pl.abcdatalog.ast.visitors - package 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 - package edu.harvard.seas.pl.abcdatalog.engine
This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
edu.harvard.seas.pl.abcdatalog.engine.bottomup - package 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.bottomup.concurrent - package edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
This package contains multi-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential - package edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
This package contains single-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.testing - package edu.harvard.seas.pl.abcdatalog.engine.testing
This package contains classes for testing the correctness of an implementation of edu.harvard.seas.pl.abcdatalog.engine.
edu.harvard.seas.pl.abcdatalog.engine.topdown - package edu.harvard.seas.pl.abcdatalog.engine.topdown
This package contains implementations of standard top-down Datalog evaluation algorithms.
edu.harvard.seas.pl.abcdatalog.executor - package edu.harvard.seas.pl.abcdatalog.executor
This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously.
edu.harvard.seas.pl.abcdatalog.gui - package edu.harvard.seas.pl.abcdatalog.gui
This package contains a graphical user interface for a Datalog editor and interpreter.
edu.harvard.seas.pl.abcdatalog.parser - package edu.harvard.seas.pl.abcdatalog.parser
This package contains classes that implement a parser for Datalog source code.
edu.harvard.seas.pl.abcdatalog.util - package edu.harvard.seas.pl.abcdatalog.util
This package contains basic utilities.
edu.harvard.seas.pl.abcdatalog.util.datastructures - package edu.harvard.seas.pl.abcdatalog.util.datastructures
This package contains data structures for storing and indexing Datalog facts.
edu.harvard.seas.pl.abcdatalog.util.graph - package edu.harvard.seas.pl.abcdatalog.util.graph
This package contains utility classes for graph operations.
edu.harvard.seas.pl.abcdatalog.util.substitution - package edu.harvard.seas.pl.abcdatalog.util.substitution
This package contains classes that represents substitutions (i.e., mappings from variables to terms).
elts - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
The terms in this tuple.
emptyBag() - Static method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
 
emptyQuery() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
EngineExample - Class in edu.harvard.seas.pl.abcdatalog.engine
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Clause
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
 
equals(Object) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
 
eval() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
eval() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
Starts this manager running in the background.
eval() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.StratifiedNegationEvalManager
 
eval() - Method in interface edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager
Saturate all facts derivable from the program with which this manager has been initialized.
eval() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager
 
EvalManager - Interface in edu.harvard.seas.pl.abcdatalog.engine.bottomup
The saturating evaluation manager for a bottom-up Datalog evaluation engine.
EvalManagerWithProvenance - Interface in edu.harvard.seas.pl.abcdatalog.engine.bottomup
 
evaluate(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.ClauseEvaluator
 
exec - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
ExecutorExample - Class in edu.harvard.seas.pl.abcdatalog.executor
A basic demonstration of how to use a Datalog executor.
ExecutorExample() - Constructor for class edu.harvard.seas.pl.abcdatalog.executor.ExecutorExample
 
ExecutorServiceCounter - Class in edu.harvard.seas.pl.abcdatalog.util
A wrapper for an executor service that tracks how many tasks are either pending or incomplete, and can be used to block until all tasks have finished.
ExecutorServiceCounter(ExecutorService) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.ExecutorServiceCounter
Constructs an ExecutorServiceCounter backed by the given ExecutorService.
ExplicitUnificationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
ExplicitUnificationTests(Supplier<DatalogEngine>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
ExtensibleBottomUpEvalManager - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
An evaluation manager for a concurrent semi-naive engine that runs asynchronously in the background.
ExtensibleBottomUpEvalManager(Set<PredicateSym>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
Constructs a concurrent semi-naive evaluation manager that supports the explicit addition of facts during evaluation.

F

FactIndexer - Interface in edu.harvard.seas.pl.abcdatalog.util.datastructures
 
FactIndexerFactory - Class in edu.harvard.seas.pl.abcdatalog.util.datastructures
A factory for creating some useful fact indexers.
facts - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
filter(Function<Tuple, Boolean>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Returns a new relation consisting of those tuples that meet the supplied predicate.
finishAsynchronousEval() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
Blocks until the evaluation is complete and returns the set of facts derived during evaluation.
fold(Iterable<Term>, TermVisitor<T, T>, T) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
 
fold(Term[], TermVisitor<T, T>, T) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
 
forcePositiveAtom(Head) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.HeadHelpers
 
fromClause(List<Boolean>, DatalogValidator.ValidClause) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
Constructs an adorned clause given an adornment to apply to the head and clause to adorn.
fromTerms(List<Term>, List<Term>) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Creates a substitution from unifying two lists of terms.
fromTerms(Term[], Term[]) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Creates a substitution from unifying two arrays of terms.

G

get(int) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
Returns the schema for the ith (0-indexed) supplementary relation.
get(int) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Returns the term at the given index into the schema.
get(Term) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Returns the index of the given term in the schema.
get(int) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
Returns the term at the ith position in this tuple (0-indexed).
get(Variable) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
get(Variable) - Method in interface edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution
Retrieves the mapping of a variable.
get(Variable) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
Returns the constant a variable is mapped to in this substitution.
get(Variable) - Method in interface edu.harvard.seas.pl.abcdatalog.util.substitution.Substitution
Retrieves the mapping of a variable.
get(Variable) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Retrieves the mapping of a variable.
getAdornment() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
Returns the adornment for this predicate symbol.
getAnnotation() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
getArgs() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
getArgs() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
getArgs() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
getArgs() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
 
getArgsIterable() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
getArgsIterable() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
getArity() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Returns the arity of this predicate symbol.
getArity() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
 
getAttributes() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Returns the attribute schema for this relation.
getBody() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Clause
Returns the body of this clause.
getBody() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
 
getBound() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
Returns the number of arguments bound in the adornment of this predicate symbol.
getCleanCopy() - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
getCopy() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
getDest() - Method in interface edu.harvard.seas.pl.abcdatalog.util.graph.DirectedEdge
 
getEdbPredicateSyms() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
 
getFacts(AnnotatedAtom, ClauseSubstitution) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
getFirstAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator.SemiNaiveClause
 
getHead() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Clause
Returns the head of this clause.
getHead() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
 
getHead() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
Returns the head of the linked-list that backs this bag, or null if there is no head.
getIdbPredicateSyms() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
 
getInitialFacts() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
 
getJustification(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrameWithProvenance
 
getJustification(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManagerWithProvenance
Return the last rule used in the justification of the given atom.
getJustification(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager
 
getJustification(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngineWithProvenance
Return the last rule used in the justification of the given atom.
getLeft() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
getLeft() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
getName() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
 
getName() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
 
getNext() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag.Node
Returns the next node in the linked list, or null if this is the last node.
getOutgoingEdges(V) - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
getPred() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
getPred() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
getPred() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
getPred() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
 
getPreds() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
getPreds() - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection
Returns the set of the predicate symbols represented in this collection.
getPredToStratumMap() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedProgram
 
getRight() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
getRight() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
getRules() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
 
getSetFromMap(Map<K, Set<V>>, K) - Static method in class edu.harvard.seas.pl.abcdatalog.util.Utilities
Returns the set in map associated with key, creating a new set if needed.
getSource() - Method in interface edu.harvard.seas.pl.abcdatalog.util.graph.DirectedEdge
 
getStrata() - Method in interface edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedProgram
 
getStronglyConnectedComponents(Function<E, E>) - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
getSym() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Returns the string identifier of this predicate symbol.
getSym() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
 
getTranspose(Function<E, E>) - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
getUnadorned() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
Creates a new predicate symbol that has the same symbol and arity as this one, but no adornment.
getVal() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag.Node
Get the value of this node.
getVertices() - Method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 

H

hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Clause
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
 
hashCode() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
 
hasNext() - Method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
Returns whether there is another token in this stream.
Head - Interface in edu.harvard.seas.pl.abcdatalog.ast
The head of a clause.
HeadHelpers - Class in edu.harvard.seas.pl.abcdatalog.ast
A utility class for accessing the head of a clause.
HeadVisitor<I,O> - Interface in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
HeadVisitorBuilder<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
HeadVisitorBuilder() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder
 

I

idbRules - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
Rules for deriving IDB facts mapped by predicate symbol.
IndexableFactCollection - Interface in edu.harvard.seas.pl.abcdatalog.util.datastructures
A fixed collection of facts that only allows a basic query operation: return the atoms in the collection that might match a given atom.
indexInto(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
indexInto(PositiveAtom, ConstOnlySubstitution) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
indexInto(PredicateSym) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
indexInto(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection
Returns the atoms in the collection that potentially "match" the provided atom.
indexInto(PositiveAtom, ConstOnlySubstitution) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection
Returns the atoms in the collection that potentially "match" the provided atom, after the given substitution has been applied.
indexInto(PredicateSym) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection
Returns the atoms in the collection with the given predicate symbol.
init(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame
 
init(Set<Clause>) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine
Initializes engine with a Datalog program, including EDB facts.
init(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
 
init(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine
 
initEngine(String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
Instantiates an engine with the given program.
initEngineUnsafe(String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
initEngineUnsafe(Reader) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
initialFacts - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
initialize(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
initialize(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
 
initialize(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.StratifiedNegationEvalManager
 
initialize(Set<Clause>) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager
Initialize this manager with a program.
initialize(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager
 
initialize(Set<Clause>, Set<PredicateSym>) - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor
Initializes the Datalog engine with a program and specifies which EDB relations can be extended (with DatalogExecutor.addFactAsynchronously()) during evaluation.
initialize(Set<Clause>, Set<PredicateSym>) - Method in class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
isEmpty() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Returns whether the relation has any tuples.
isEmpty() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
 
isEmpty() - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection
Returns whether the collection is empty.
isGround() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
isGround - Variable in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Is the atom ground (i.e., all arguments are constants)?
isGround() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
IterativeQsqEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A Datalog evaluation engine that uses an iterative version of the query-subquery top-down technique.
IterativeQsqEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.IterativeQsqEngine
 
IterativeQsqEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
IterativeQsqEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
iterator() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
 
iterator() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
Returns an iterator over elements of type T.

J

joinAndProject(Relation, TermSchema) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Creates a new relation by joining this relation with the other relation and projecting onto the supplied attribute schema.

M

main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.ClauseEvaluator
 
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine
 
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.EngineExample
 
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.executor.ExecutorExample
Runs an executor on a basic graph transitive closure example.
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.gui.DatalogGui
Runs the GUI.
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
 
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.util.graph.Digraph
 
main(String[]) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
manager - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame
The evaluation manager for this engine.
MstEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A Datalog evaluation engine that uses the magic set transformation technique.
MstEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine
 
MstEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
MstEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentBottomUpEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentChunkedBottomUpEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.IterativeQsqEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine.MyConjunctiveQueryTests
 
MyConjunctiveQueryTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.RecursiveQsqEngine.MyConjunctiveQueryTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentBottomUpEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentChunkedBottomUpEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.IterativeQsqEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine.MyCoreTests
 
MyCoreTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.RecursiveQsqEngine.MyCoreTests
 
MyNegationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine.MyNegationTests
 
MyNegationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine.MyNegationTests
 
MyUnificationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentBottomUpEngine.MyUnificationTests
 
MyUnificationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentChunkedBottomUpEngine.MyUnificationTests
 
MyUnificationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine.MyUnificationTests
 
MyUnificationTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine.MyUnificationTests
 

N

NegatedAtom - Class in edu.harvard.seas.pl.abcdatalog.ast
A negated atom.
NegatedAtom(PredicateSym, Term[]) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
NegatedAtom(PositiveAtom) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
newEngine() - Static method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine
 
newEngineWithProvenance() - Static method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine
 
newFact(PositiveAtom, ClauseSubstitution) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
newFactDerived(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogListener
Is invoked when a relevant new fact is derived during Datalog evaluation.
next - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
Points to the next supplementary relation in the rule being evaluated.
next() - Method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
Returns (and consumes) the next token in this stream.
nextAtom - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
Points to the atom that follows this supplementary relation in the rule being evaluated.

O

onAnnotatedAtom(BiFunction<AnnotatedAtom, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
onBinaryDisunifier(BiFunction<BinaryDisunifier, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
onBinaryUnifier(BiFunction<BinaryUnifier, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
onConstant(BiFunction<Constant, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 
onNegatedAtom(BiFunction<NegatedAtom, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
onPositiveAtom(BiFunction<PositiveAtom, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder
 
onPositiveAtom(BiFunction<PositiveAtom, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
onVariable(BiFunction<Variable, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 
or(BiFunction<Head, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder
 
or(BiFunction<Premise, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
or(BiFunction<Term, I, O>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 
orCrash() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder
 
orCrash() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
orCrash() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 
orNull() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitorBuilder
 
orNull() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
orNull() - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 

P

parseClauseAsPositiveAtom(DatalogTokenizer) - Static method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
Extracts an atom from the token stream.
parseCode(String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
Builds a Datalog AST out of the string representation of the source code.
parseCode(Reader) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
parseFacts(String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
Builds an AST representation of a set of facts (i.e.
parseProgram(DatalogTokenizer) - Static method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
Generates an abstract syntax tree representation of the program described by the provided token stream.
parseQuery(String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
Builds a query AST out of the string representation of the query.
parseQuery(DatalogTokenizer) - Static method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
Attempts to extract an atom representation of the query described in the token stream.
peek() - Method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogTokenizer
Returns the next token in this stream without consuming it.
PositiveAtom - Class in edu.harvard.seas.pl.abcdatalog.ast
A non-negated atom; i.e., a predicate symbol, and a sequence of terms.
PositiveAtom(PredicateSym, Term[]) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Constructs an atom from a predicate symbol and a list of arguments.
pred - Variable in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Predicate symbol of this atom.
PredicateSym - Class in edu.harvard.seas.pl.abcdatalog.ast
A basic predicate symbol in Datalog.
PredicateSym(String, int) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Constructs a predicate symbol from an identifier and a non-negative arity.
predToEvalMap - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
Premise - Interface in edu.harvard.seas.pl.abcdatalog.ast
A premise in the body of a clause.
PremiseVisitor<I,O> - Interface in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
PremiseVisitorBuilder<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
PremiseVisitorBuilder() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder
 
processInitialFacts(Set<PositiveAtom>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
processNewFact(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
processNewFact(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ExtensibleBottomUpEvalManager
 
project(List<Boolean>) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Creates a new relation that results from the projection of this relation.
put(Variable, Constant) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
Adds a mapping from a variable to a constant to this substitution.
put(Variable, Term) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Adds a mapping from a variable to a term.

Q

QsqSupRelation - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A supplementary relation used in QSQ evaluation.
QsqSupRelation(TermSchema) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
Constructs an empty supplementary relation with the supplied schema.
QsqTemplate - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A template containing the attribute schemata of the supplementary relations for a given rule in QSQ evaluation.
QsqTemplate(AdornedClause) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
Constructs a template from an adorned rule.
query(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame
 
query(DatalogEngine, List<PositiveAtom>) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.ConjunctiveQueryHelper
 
query(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine
Returns all facts that 1) can be derived from the rules and initial facts that were used to initialize this engine and 2) unify with the query.
query(List<PositiveAtom>) - Method in interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine
Returns the set of all (minimal) substitutions that 1) ground the given conjunctive query, and 2) make it true with respect to the Datalog program backing this engine.
query(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine
 
query(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.IterativeQsqEngine
 
query(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.MstEngine
 
query(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.RecursiveQsqEngine
 
queryEDBPredicate() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryIDBPredicatesWithConstants() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryIDBPredicateWithExplicitIDBFact() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryIDBPredicateWithUndefinedEDB() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryLinearlyRecursiveIDBPredicate() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryMutuallyRecursivePredicates() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryNestedPredicates() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryNonLinearlyRecursiveIDBPredicate() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryNonRecursiveIDBPredicate() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryUndefinedPredicate() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
queryZeroAryPredicates() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 

R

RecursiveQsqEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A Datalog evaluation engine that uses a recursive version of the query-subquery top-down technique.
RecursiveQsqEngine() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.RecursiveQsqEngine
 
RecursiveQsqEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
RecursiveQsqEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
 
registerListener(PredicateSym, DatalogListener) - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor
Associates a listener with a given predicate symbol, so that if any fact is derived during evaluation with that predicate symbol, the listener will be invoked with that fact.
registerListener(PredicateSym, DatalogListener) - Method in class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
Relation - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A relation, i.e., a set of tuples of a fixed arity with an associated attribute schema of the same arity.
Relation(Relation) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Constructs a relation from another relation.
Relation(TermSchema) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Constructs an empty relation with the given attribute schema.
Relation(int) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Constructs an empty relation of the given arity.
removeAll(Relation) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Remove all the tuples in other relation from this relation.
renameAttributes(TermSchema) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Change the attribute schema of this relation to the supplied one, which must be of the same arity as this relation.
resetState(int) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
RunAllTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
RunAllTests() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.RunAllTests
 

S

SemiNaiveClauseAnnotator - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
A class for annotating a clause with annotations helpful for semi-naive evaluation.
SemiNaiveClauseAnnotator(Set<PredicateSym>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator
 
SemiNaiveClauseAnnotator.SemiNaiveClause - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup
 
SemiNaiveEngine - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
A Datalog engine that implements the classic semi-naive bottom-up evaluation algorithm.
SemiNaiveEngine.MyConjunctiveQueryTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
 
SemiNaiveEngine.MyCoreTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
 
SemiNaiveEngine.MyNegationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
 
SemiNaiveEngine.MyUnificationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
 
SemiNaiveEvalManager - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential
 
SemiNaiveEvalManager(boolean) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager
 
shutdown() - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor
Shuts down the executor, which cannot be reused.
shutdown() - Method in class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
shutdownAndAwaitTermination() - Method in class edu.harvard.seas.pl.abcdatalog.util.ExecutorServiceCounter
Shutdowns the ExecutorService backing this ExecutorServiceCounter (i.e., so it stops accepting new tasks) and blocks until any outstanding tasks have been completed.
SimpleConstSubstitution - Class in edu.harvard.seas.pl.abcdatalog.util.substitution
A mapping from variables to constants.
SimpleConstSubstitution() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
Constructs an empty substitution.
SimpleConstSubstitution(SimpleConstSubstitution) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
Constructs a copy of another substitution.
singletonQuery() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
size() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
Returns the number of schemata in this template.
size() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
Returns the number of tuples in this relation.
size() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Returns the size of this schema.
size() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
Returns the arity of this tuple.
sizeThreeQuery1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
sizeThreeQuery2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
sizeTwoQuery1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
sizeTwoQuery2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ConjunctiveQueryTests
 
start() - Method in interface edu.harvard.seas.pl.abcdatalog.executor.DatalogExecutor
Starts the Datalog evaluation.
start() - Method in class edu.harvard.seas.pl.abcdatalog.executor.DatalogParallelExecutor
 
StratifiedNegationEvalManager - Class in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
 
StratifiedNegationEvalManager() - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.StratifiedNegationEvalManager
 
StratifiedNegationTests - Class in edu.harvard.seas.pl.abcdatalog.engine.testing
 
StratifiedNegationTests(Supplier<DatalogEngine>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
StratifiedNegationValidator - Class in edu.harvard.seas.pl.abcdatalog.ast.validation
A class for validating that an unstratified program can be successfully stratified for negation.
StratifiedProgram - Interface in edu.harvard.seas.pl.abcdatalog.ast.validation
A Datalog program that has been stratified; for instance, to support stratified negation.
stripSemiNaiveClause(SemiNaiveClauseAnnotator.SemiNaiveClause) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager
 
submitTask(Runnable) - Method in class edu.harvard.seas.pl.abcdatalog.util.ExecutorServiceCounter
Adds a task to be tracked by this ExecutorServiceCounter.
Substitution - Interface in edu.harvard.seas.pl.abcdatalog.util.substitution
A mapping from variables to terms.
SubstitutionUtils - Class in edu.harvard.seas.pl.abcdatalog.util.substitution
 
sym - Variable in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
Identifier of the predicate symbol (i.e.

T

Term - Interface in edu.harvard.seas.pl.abcdatalog.ast
A Datalog term (i.e., a constant or variable).
TermHelpers - Class in edu.harvard.seas.pl.abcdatalog.ast
A utility class for common operations on terms.
TermSchema - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A list of terms of fixed arity representing the attribute schema for a relation of the same arity (i.e., the 2nd term in the list is the attribute for the 2nd "column" in the relation).
TermSchema(List<Term>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Constructs a schema from a list of terms.
TermSchema(TermSchema) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Constructs a schema from another schema.
TermSchema(int) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
Constructs a schema of the supplied arity.
TermUnifier - Interface in edu.harvard.seas.pl.abcdatalog.util.substitution
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.
TermVisitor<I,O> - Interface in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
TermVisitorBuilder<I,O> - Class in edu.harvard.seas.pl.abcdatalog.ast.visitors
 
TermVisitorBuilder() - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder
 
test(String, String, String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
testBinaryDisunificationFail1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testBinaryDisunificationFail2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testBinaryDisunificationNoAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testBinaryUnificationNoAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testEmptyProgram() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testExplicitUnification1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testExplicitUnification2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testFile(String, String, String) - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.AbstractTests
 
testImpossibleBinaryDisunification1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testImpossibleBinaryDisunification2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testImpossibleBinaryDisunification3() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testImpossibleBinaryUnification1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testImpossibleBinaryUnification2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testMultiLayeredNegation() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testNegatedAtomFirst() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testNegatedNoPositiveAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testNegatedUnboundVariable1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testNegatedUnboundVariable2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testNegatedUnboundVariable3() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testRelated() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testRelated2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testRulesWithAnonymousVariables() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testRulesWithBinaryDisunifiers() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testRulesWithBinaryUnifiers() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
testRulesWithLongBodies() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testRulesWithNoVariables() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
This test is primarily for exercising a corner case for engines that use a RuleBasedSubstitution.
testRulesWithRepeatedVariablesInAnAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
This test is primarily for exercising a corner case for engines that use a RuleBasedSubstitution.
testRulesWithTrue() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testRulesWithUnusedVariables1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testRulesWithUnusedVariables2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testRuleThatEndsInAGroundAtom() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
This test is primarily for exercising a corner case for engines that use a RuleBasedSubstitution.
TestStratifiable() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testUnboundVariable1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
testUnboundVariable2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.CoreTests
 
TestUnstratifiable1() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
TestUnstratifiable2() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.StratifiedNegationTests
 
testUselessBinaryUnification() - Method in class edu.harvard.seas.pl.abcdatalog.engine.testing.ExplicitUnificationTests
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Clause
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.PredicateSym
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqSupRelation
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.QsqTemplate
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
 
toString() - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
 
trie - Variable in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.BottomUpEvalManager
 
Tuple - Class in edu.harvard.seas.pl.abcdatalog.engine.topdown
A tuple of terms, i.e., an ordered list of fixed arity.
Tuple(List<Term>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
Constructs a tuple from a list of terms.
Tuple(Term[]) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
 
tuples - Variable in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
The tuples of this relation.

U

unify(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
Attempts to unify this atom with a fact (i.e., a ground atom).
unify(Term, Term, ConstOnlySubstitution) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
 
unify(Term, Term, TermUnifier) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
 
unify(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
Attempts to unify this tuple with another tuple.
unify(Term[], Term[]) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.SimpleConstSubstitution
Creates a substitution from unifying two lists of terms, the second of which must be ground (i.e., contain no variables).
unify(Variable, Term) - Method in interface edu.harvard.seas.pl.abcdatalog.util.substitution.TermUnifier
Attempts to unify a variable with a term.
unify(Variable, Term) - Method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
 
UnionFindBasedUnifier - Class in edu.harvard.seas.pl.abcdatalog.util.substitution
A mapping from variables to terms.
UnionFindBasedUnifier() - Constructor for class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Constructs an empty substitution.
UnionFindBasedUnifier(UnionFindBasedUnifier) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
Constructs a substitution from another substitution.
UnstratifiedProgram - Interface in edu.harvard.seas.pl.abcdatalog.ast.validation
A Datalog program for which each rule and initial fact has been independently validated, but the program as a whole has not been validated.
Utilities - Class in edu.harvard.seas.pl.abcdatalog.util
"Static" class containing utility methods.

V

validate(Set<Clause>) - Method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
validate(Set<Clause>, boolean) - Method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
validate(UnstratifiedProgram) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedNegationValidator
Validates that the given unstratified program can be stratified for negation and returns a witness stratified program.
value - Variable in class edu.harvard.seas.pl.abcdatalog.util.Box
 
valueOf(String) - Static method in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
Returns the enum constant of this type with the specified name.
values() - Static method in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
Returns an array containing the constants of this enum type, in the order they are declared.
Variable - Class in edu.harvard.seas.pl.abcdatalog.ast
A Datalog variable.
Variable(String) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.Variable
Constructs a variable from an identifier.
visit(PositiveAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashHeadVisitor
 
visit(PositiveAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
visit(AnnotatedAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
visit(BinaryUnifier, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
visit(BinaryDisunifier, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
visit(NegatedAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.CrashPremiseVisitor
 
visit(PositiveAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
visit(AnnotatedAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
visit(BinaryUnifier, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
visit(BinaryDisunifier, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
visit(NegatedAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
 
visit(Variable, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor
 
visit(Constant, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor
 
visit(PositiveAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.HeadVisitor
 
visit(PositiveAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
 
visit(AnnotatedAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
 
visit(BinaryUnifier, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
 
visit(BinaryDisunifier, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
 
visit(NegatedAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
 
visit(Variable, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor
 
visit(Constant, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor
 

W

withAtomNegationInRuleBody() - Method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
withBinaryDisunificationInRuleBody() - Method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
withBinaryUnificationInRuleBody() - Method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator
 
A B C D E F G H I J M N O P Q R S T U V W 
Skip navigation links

Copyright © 2021. All rights reserved.