Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.PositiveAtom

Packages that use PositiveAtom

Package	Description
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	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	This package contains classes that implement the visitor design pattern for visiting AST nodes.
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	This package contains classes and interfaces that are used in all of the bottom-up engines.
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	This package contains single-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.
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.parser	This package contains classes that implement a parser for Datalog source code.
edu.harvard.seas.pl.abcdatalog.util.datastructures	This package contains data structures for storing and indexing Datalog facts.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.ast

Methods in edu.harvard.seas.pl.abcdatalog.ast that return PositiveAtom

Modifier and Type	Method	Description
PositiveAtom	PositiveAtom.applySubst(Substitution subst)	Apply a substitution to the terms in this atom.
PositiveAtom	NegatedAtom.asPositiveAtom()
static PositiveAtom	PositiveAtom.create(PredicateSym pred, Term[] args)	A static factory method for the creation of atoms.
static PositiveAtom	HeadHelpers.forcePositiveAtom(Head head)

Methods in edu.harvard.seas.pl.abcdatalog.ast with parameters of type PositiveAtom

Modifier and Type	Method	Description
Substitution	PositiveAtom.unify(PositiveAtom fact)	Attempts to unify this atom with a fact (i.e., a ground atom).

Constructors in edu.harvard.seas.pl.abcdatalog.ast with parameters of type PositiveAtom

Modifier	Constructor	Description
	NegatedAtom(PositiveAtom atom)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.ast.validation

Methods in edu.harvard.seas.pl.abcdatalog.ast.validation that return PositiveAtom

Modifier and Type	Method	Description
static PositiveAtom	DatalogValidator.True.getTrueAtom()

Methods in edu.harvard.seas.pl.abcdatalog.ast.validation that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
Set<PositiveAtom>	UnstratifiedProgram.getInitialFacts()

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.ast.visitors

Methods in edu.harvard.seas.pl.abcdatalog.ast.visitors with parameters of type PositiveAtom

Modifier and Type	Method	Description
O	CrashHeadVisitor.visit(PositiveAtom atom, I state)
O	CrashPremiseVisitor.visit(PositiveAtom atom, I state)
O	DefaultConjunctVisitor.visit(PositiveAtom atom, I state)
O	HeadVisitor.visit(PositiveAtom atom, I state)
O	PremiseVisitor.visit(PositiveAtom atom, I state)

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.visitors with type arguments of type PositiveAtom

Modifier and Type	Method	Description
HeadVisitorBuilder<I,O>	HeadVisitorBuilder.onPositiveAtom(BiFunction<PositiveAtom,I,O> onPositiveAtom)
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onPositiveAtom(BiFunction<PositiveAtom,I,O> onPositiveAtom)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.engine

Methods in edu.harvard.seas.pl.abcdatalog.engine that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
Set<PositiveAtom>	DatalogEngine.query(PositiveAtom q)	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.

Methods in edu.harvard.seas.pl.abcdatalog.engine with parameters of type PositiveAtom

Modifier and Type	Method	Description
Clause	DatalogEngineWithProvenance.getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.
Set<PositiveAtom>	DatalogEngine.query(PositiveAtom q)	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.

Method parameters in edu.harvard.seas.pl.abcdatalog.engine with type arguments of type PositiveAtom

Modifier and Type	Method	Description
static Set<ConstOnlySubstitution>	ConjunctiveQueryHelper.query(DatalogEngine engine, List<PositiveAtom> query)
default Set<ConstOnlySubstitution>	DatalogEngine.query(List<PositiveAtom> query)	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.

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return PositiveAtom

Modifier and Type	Method	Description
PositiveAtom	AnnotatedAtom.asUnannotatedAtom()

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
Set<PositiveAtom>	BottomUpEngineFrame.query(PositiveAtom q)

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type PositiveAtom

Modifier and Type	Method	Description
void	ClauseEvaluator.evaluate(PositiveAtom newFact)
Clause	BottomUpEngineFrameWithProvenance.getJustification(PositiveAtom fact)
Clause	EvalManagerWithProvenance.getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.
Set<PositiveAtom>	BottomUpEngineFrame.query(PositiveAtom q)

Constructors in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type PositiveAtom

Modifier	Constructor	Description
	AnnotatedAtom(PositiveAtom atom, AnnotatedAtom.Annotation anno)

Constructor parameters in edu.harvard.seas.pl.abcdatalog.engine.bottomup with type arguments of type PositiveAtom

Modifier	Constructor	Description
	ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl, BiConsumer<PositiveAtom,ClauseSubstitution> newFact, BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)
	ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl, BiConsumer<PositiveAtom,ClauseSubstitution> newFact, BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Fields in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent with type parameters of type PositiveAtom

Modifier and Type	Field	Description
protected final Set<PositiveAtom>	BottomUpEvalManager.initialFacts

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
protected Iterable<PositiveAtom>	BottomUpEvalManager.getFacts(AnnotatedAtom atom, ClauseSubstitution s)

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent with parameters of type PositiveAtom

Modifier and Type	Method	Description
void	ExtensibleBottomUpEvalManager.addFact(PositiveAtom fact)	Add a fact to this evaluation manager.
protected void	BottomUpEvalManager.newFact(PositiveAtom atom, ClauseSubstitution s)
protected void	BottomUpEvalManager.processNewFact(PositiveAtom newFact)
protected void	ExtensibleBottomUpEvalManager.processNewFact(PositiveAtom newFact)

Method parameters in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent with type arguments of type PositiveAtom

Modifier and Type	Method	Description
protected void	BottomUpEvalManager.processInitialFacts(Set<PositiveAtom> facts)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential with parameters of type PositiveAtom

Modifier and Type	Method	Description
Clause	SemiNaiveEvalManager.getJustification(PositiveAtom fact)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.engine.topdown

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
protected Set<PositiveAtom>	AbstractQsqEngine.checkIfEdbQuery(PositiveAtom q)	If query is for an EDB relation, returns facts that unify with that query.
abstract Set<PositiveAtom>	AbstractQsqEngine.query(PositiveAtom q)
Set<PositiveAtom>	IterativeQsqEngine.query(PositiveAtom q)
Set<PositiveAtom>	MstEngine.query(PositiveAtom q)
Set<PositiveAtom>	RecursiveQsqEngine.query(PositiveAtom q)

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type PositiveAtom

Modifier and Type	Method	Description
protected Set<PositiveAtom>	AbstractQsqEngine.checkIfEdbQuery(PositiveAtom q)	If query is for an EDB relation, returns facts that unify with that query.
abstract Set<PositiveAtom>	AbstractQsqEngine.query(PositiveAtom q)
Set<PositiveAtom>	IterativeQsqEngine.query(PositiveAtom q)
Set<PositiveAtom>	MstEngine.query(PositiveAtom q)
Set<PositiveAtom>	RecursiveQsqEngine.query(PositiveAtom q)

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.executor

Methods in edu.harvard.seas.pl.abcdatalog.executor with parameters of type PositiveAtom

Modifier and Type	Method	Description
void	DatalogExecutor.addFactAsynchronously(PositiveAtom edbFact)	Asynchronously adds a new EDB fact to the Datalog evaluation.
void	DatalogParallelExecutor.addFactAsynchronously(PositiveAtom edbFact)
void	DatalogListener.newFactDerived(PositiveAtom fact)	Is invoked when a relevant new fact is derived during Datalog evaluation.

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.parser

Methods in edu.harvard.seas.pl.abcdatalog.parser that return PositiveAtom

Modifier and Type	Method	Description
static PositiveAtom	DatalogParser.parseClauseAsPositiveAtom(DatalogTokenizer t)	Extracts an atom from the token stream.
static PositiveAtom	DatalogParser.parsePositiveAtom(DatalogTokenizer t)	Attempts to extract an atom from the provided token stream.
static PositiveAtom	DatalogParser.parseQuery(DatalogTokenizer t)	Attempts to extract an atom representation of the query described in the token stream.

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.util.datastructures

Classes in edu.harvard.seas.pl.abcdatalog.util.datastructures with type parameters of type PositiveAtom

Modifier and Type	Class	Description
class	ConcurrentFactIndexer<T extends Iterable<PositiveAtom>>	An index that holds facts.

Methods in edu.harvard.seas.pl.abcdatalog.util.datastructures that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
static ConcurrentFactIndexer<Queue<PositiveAtom>>	FactIndexerFactory.createConcurrentQueueFactIndexer()	Creates a fact indexer that uses concurrent queues for the base container.
static ConcurrentFactIndexer<Set<PositiveAtom>>	FactIndexerFactory.createConcurrentSetFactIndexer()	Creates a fact indexer that uses concurrent sets for the base container.
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PositiveAtom atom)	Returns the atoms in the collection that potentially "match" the provided atom.
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PositiveAtom atom, ConstOnlySubstitution subst)	Returns the atoms in the collection that potentially "match" the provided atom, after the given substitution has been applied.
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PredicateSym pred)	Returns the atoms in the collection with the given predicate symbol.

Methods in edu.harvard.seas.pl.abcdatalog.util.datastructures with parameters of type PositiveAtom

Modifier and Type	Method	Description
void	ConcurrentFactIndexer.add(PositiveAtom fact)	Adds a fact to this indexer.
boolean	ConcurrentFactTrie.add(PositiveAtom fact)	Adds a fact to this trie and returns whether the trie has changed.
boolean	ConcurrentFactTrie.add(PositiveAtom a, ConstOnlySubstitution s)	Adds an atom a to this trie.
void	FactIndexer.add(PositiveAtom fact)	Adds a fact to the FactIndexer.
T	ConcurrentFactIndexer.indexInto(PositiveAtom a)
T	ConcurrentFactIndexer.indexInto(PositiveAtom a, ConstOnlySubstitution s)
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PositiveAtom atom)	Returns the atoms in the collection that potentially "match" the provided atom.
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PositiveAtom atom, ConstOnlySubstitution subst)	Returns the atoms in the collection that potentially "match" the provided atom, after the given substitution has been applied.

Method parameters in edu.harvard.seas.pl.abcdatalog.util.datastructures with type arguments of type PositiveAtom

Modifier and Type	Method	Description
void	ConcurrentFactIndexer.addAll(Iterable<PositiveAtom> facts)	Adds the facts to the index.
void	FactIndexer.addAll(Iterable<PositiveAtom> facts)	Adds some number of facts to the FactIndexer.

Constructor parameters in edu.harvard.seas.pl.abcdatalog.util.datastructures with type arguments of type PositiveAtom

Modifier	Constructor	Description
	ConcurrentFactIndexer(Supplier<T> generator, BiConsumer<T,PositiveAtom> addFunc)	Creates a new fact indexer.
	ConcurrentFactIndexer(Supplier<T> generator, BiConsumer<T,PositiveAtom> addFunc, Supplier<T> empty)	Creates a new fact indexer.

Uses of PositiveAtom in edu.harvard.seas.pl.abcdatalog.util.substitution

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that return types with arguments of type PositiveAtom

Modifier and Type	Method	Description
static List<PositiveAtom>	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms)	Apply a substitution to the given positive atoms, returning a list of the resulting atoms (in order).

Method parameters in edu.harvard.seas.pl.abcdatalog.util.substitution with type arguments of type PositiveAtom

Modifier and Type	Method	Description
static List<PositiveAtom>	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms)	Apply a substitution to the given positive atoms, returning a list of the resulting atoms (in order).
static void	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms, Collection<PositiveAtom> acc)	Apply a substitution to the given positive atoms, adding the resulting atoms to the provided collection (in order).
static void	SubstitutionUtils.applyToPositiveAtoms(Substitution subst, Iterable<PositiveAtom> atoms, Collection<PositiveAtom> acc)	Apply a substitution to the given positive atoms, adding the resulting atoms to the provided collection (in order).