Index (io.github.harvardpl:AbcDatalog 0.7.2 API)

A B C D E F G H I J M N O P Q R S T U V W
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>, Function<T, Integer>) - Constructor for class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer: Creates a new fact indexer.
ConcurrentFactIndexer(Supplier<T>, BiConsumer<T, PositiveAtom>, Supplier<T>, Function<T, Integer>) - 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.
size() - Method in class edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentLinkedBag: Returns the number of elements that have been added to the set.
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

A B C D E F G H I J M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Serialized Form