Index
All Classes and Interfaces|All Packages|Serialized Form
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
- accept(HeadVisitor<I, O>, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Head
- accept(HeadVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
- 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(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(PremiseVisitor<I, O>, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.Premise
- accept(PremiseVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom
- accept(TermVisitor<I, O>, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
- 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
- add(PositiveAtom) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
-
Adds a fact to this indexer.
- 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(PositiveAtom) - Method in interface edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexer
-
Adds a fact to the FactIndexer.
- add(PositiveAtom, ConstOnlySubstitution) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactTrie
-
Adds an atom a to this trie.
- 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
- add(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
-
Add a tuple of the proper arity to this relation.
- add(T) - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag
-
Add an element to the bag.
- addAll(Relation) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
-
Add all the tuples of another relation to this relation.
- 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 class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
-
Adds the facts to the 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>) - 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).
- 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).
- 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> - 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
- 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
- ConcurrentFactIndexer<T> - 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
- 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.
- 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.
- 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(PredicateSym, Term[]) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom
-
A static factory method for the creation of atoms.
- create(String) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.Constant
-
Returns a constant with the given string identifier.
- create(String) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.Variable
-
Returns a variable with the given string identifier.
- 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.
- 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 Class in edu.harvard.seas.pl.abcdatalog.parser
-
An exception signifying a parsing error.
- DatalogParseException() - Constructor for exception class edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
-
Constructs an exception signifying a parsing error.
- DatalogParseException(String) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
-
Constructs an exception signifying a parsing error.
- DatalogParseException(String, Throwable) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
-
Constructs an exception signifying a parsing error.
- DatalogParseException(String, Throwable, boolean, boolean) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
-
Constructs an exception signifying a parsing error.
- DatalogParseException(Throwable) - Constructor for exception class 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 Class in edu.harvard.seas.pl.abcdatalog.ast.validation
- DatalogValidationException() - Constructor for exception class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
- DatalogValidationException(String) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
- DatalogValidationException(String, Throwable) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
- DatalogValidationException(String, Throwable, boolean, boolean) - Constructor for exception class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException
- DatalogValidationException(Throwable) - Constructor for exception class 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.True - Class in edu.harvard.seas.pl.abcdatalog.ast.validation
- 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
- deleteCurrentLine() - Method in class edu.harvard.seas.pl.abcdatalog.gui.TextEditor
-
Deletes the current line and if there is no text, sets the caret to the end of the previous line.
- DELTA - Enum constant in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
- Digraph<V,
E> - 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
- duplicateCurrentLine() - Method in class edu.harvard.seas.pl.abcdatalog.gui.TextEditor
-
Duplicates the current line, moving the caret to the new line but keeping its position relative to that line.
E
- EDB - Enum constant in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
- 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.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
- 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.
- 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(Term[], TermVisitor<T, T>, T) - Static method in class edu.harvard.seas.pl.abcdatalog.ast.TermHelpers
- fold(Iterable<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(Term[], Term[]) - Static method in class edu.harvard.seas.pl.abcdatalog.util.substitution.UnionFindBasedUnifier
-
Creates a substitution from unifying two arrays of terms.
- 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.
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(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(Term) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
-
Returns the index of the given term in the schema.
- 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
- getTrueAtom() - Static method in class edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator.True
- 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
- IDB - Enum constant in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
- IDB_PREV - Enum constant in enum edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation
- 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) - 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 class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
- 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 class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer
- 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
- 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 - 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.NegatedAtom
- 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
- 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.
- moveLine(int) - Method in class edu.harvard.seas.pl.abcdatalog.gui.TextEditor
-
Moves the current line up or down.
- 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
N
- NegatedAtom - Class in edu.harvard.seas.pl.abcdatalog.ast
-
A negated atom.
- NegatedAtom(PositiveAtom) - Constructor for class edu.harvard.seas.pl.abcdatalog.ast.NegatedAtom
- NegatedAtom(PredicateSym, Term[]) - 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.
- parsePositiveAtom(DatalogTokenizer) - Static method in class edu.harvard.seas.pl.abcdatalog.parser.DatalogParser
-
Attempts to extract an atom from the provided token stream.
- 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(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(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(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
- query(DatalogEngine, List<PositiveAtom>) - Static method in class edu.harvard.seas.pl.abcdatalog.engine.ConjunctiveQueryHelper
- 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.
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
- 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(int) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Relation
-
Constructs an empty relation of the given 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.
- 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
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(boolean) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine
- 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.
- 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.
- 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
- 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(int) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
-
Constructs a schema of the supplied arity.
- TermSchema(TermSchema) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
-
Constructs a schema from another schema.
- TermSchema(List<Term>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.TermSchema
-
Constructs a schema from a list of terms.
- 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
- TextEditor - Class in edu.harvard.seas.pl.abcdatalog.gui
- toggleComment() - Method in class edu.harvard.seas.pl.abcdatalog.gui.TextEditor
-
Inserts a comment and a space if there is none, or removes an existing comment character if there is one.
- 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(Term[]) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
- Tuple(List<Term>) - Constructor for class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
-
Constructs a tuple from a list of terms.
- 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[]) - 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(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(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
- unify(Tuple) - Method in class edu.harvard.seas.pl.abcdatalog.engine.topdown.Tuple
-
Attempts to unify this tuple with another tuple.
- 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(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.
- 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
- 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(BinaryDisunifier, 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.DefaultConjunctVisitor
- visit(BinaryDisunifier, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
- visit(BinaryUnifier, 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.DefaultConjunctVisitor
- visit(BinaryUnifier, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
- visit(Constant, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor
- visit(Constant, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor
- visit(NegatedAtom, 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.DefaultConjunctVisitor
- visit(NegatedAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
- 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(PositiveAtom, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultConjunctVisitor
- 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(Variable, I) - Method in class edu.harvard.seas.pl.abcdatalog.ast.visitors.DefaultTermVisitor
- visit(Variable, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor
- visit(AnnotatedAtom, 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.DefaultConjunctVisitor
- visit(AnnotatedAtom, I) - Method in interface edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitor
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
All Classes and Interfaces|All Packages|Serialized Form