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

Packages that use PredicateSym

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.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.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.util.datastructures	This package contains data structures for storing and indexing Datalog facts.

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

Fields in edu.harvard.seas.pl.abcdatalog.ast declared as PredicateSym

Modifier and Type	Field	Description
protected final PredicateSym	PositiveAtom.pred	Predicate symbol of this atom.

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

Modifier and Type	Method	Description
static PredicateSym	PredicateSym.create(String sym, int arity)	Returns a predicate symbol with the given string identifier and arity.
PredicateSym	NegatedAtom.getPred()
PredicateSym	PositiveAtom.getPred()

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

Modifier and Type	Method	Description
static PositiveAtom	PositiveAtom.create(PredicateSym pred, Term[] args)	A static factory method for the creation of atoms.

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

Modifier	Constructor	Description
	NegatedAtom(PredicateSym pred, Term[] args)
protected	PositiveAtom(PredicateSym pred, Term[] args)	Constructs an atom from a predicate symbol and a list of arguments.

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

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

Modifier and Type	Method	Description
Set<PredicateSym>	UnstratifiedProgram.getEdbPredicateSyms()
Set<PredicateSym>	UnstratifiedProgram.getIdbPredicateSyms()
Map<PredicateSym,Integer>	StratifiedProgram.getPredToStratumMap()
List<Set<PredicateSym>>	StratifiedProgram.getStrata()

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

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

Modifier and Type	Method	Description
PredicateSym	AnnotatedAtom.getPred()

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

Modifier	Constructor	Description
	SemiNaiveClauseAnnotator(Set<PredicateSym> idbPreds)

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

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

Modifier and Type	Field	Description
protected final Map<PredicateSym,Set<ClauseEvaluator>>	BottomUpEvalManager.predToEvalMap

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

Modifier and Type	Method	Description
void	ExtensibleBottomUpEvalManager.addListener(PredicateSym p, DatalogListener listener)	Registers a listener with this manager.

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

Modifier	Constructor	Description
	ExtensibleBottomUpEvalManager(Set<PredicateSym> extensiblePreds)	Constructs a concurrent semi-naive evaluation manager that supports the explicit addition of facts during evaluation.

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

Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown with type parameters of type PredicateSym

Modifier and Type	Field	Description
protected final Map<PredicateSym,Relation>	AbstractQsqEngine.edbRelations	EDB facts mapped by predicate symbol.
protected final Map<PredicateSym,Set<DatalogValidator.ValidClause>>	AbstractQsqEngine.idbRules	Rules for deriving IDB facts mapped by predicate symbol.

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return PredicateSym

Modifier and Type	Method	Description
PredicateSym	AdornedPredicateSym.getUnadorned()	Creates a new predicate symbol that has the same symbol and arity as this one, but no adornment.

Constructors in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type PredicateSym

Modifier	Constructor	Description
	AdornedPredicateSym(PredicateSym p, List<Boolean> adornment)	Constructs an adorned predicate symbol from a predicate symbol and an adornment.

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

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

Modifier and Type	Method	Description
void	DatalogExecutor.registerListener(PredicateSym p, DatalogListener listener)	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.
void	DatalogParallelExecutor.registerListener(PredicateSym p, DatalogListener listener)

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

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

Modifier and Type	Method	Description
Set<PredicateSym>	ConcurrentFactIndexer.getPreds()
Set<PredicateSym>	IndexableFactCollection.getPreds()	Returns the set of the predicate symbols represented in this collection.

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

Modifier and Type	Method	Description
T	ConcurrentFactIndexer.indexInto(PredicateSym pred)
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PredicateSym pred)	Returns the atoms in the collection with the given predicate symbol.