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

Packages that use Clause

Package	Description
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	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.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

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

Subclasses of Clause in edu.harvard.seas.pl.abcdatalog.ast.validation

Modifier and Type	Class	Description
static final class	DatalogValidator.ValidClause

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.validation with type arguments of type Clause

Modifier and Type	Method	Description
UnstratifiedProgram	DatalogValidator.validate(Set<Clause> program)
UnstratifiedProgram	DatalogValidator.validate(Set<Clause> program, boolean treatIdbFactsAsClauses)

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

Methods in edu.harvard.seas.pl.abcdatalog.engine that return Clause

Modifier and Type	Method	Description
Clause	DatalogEngineWithProvenance.getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.

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

Modifier and Type	Method	Description
void	DatalogEngine.init(Set<Clause> program)	Initializes engine with a Datalog program, including EDB facts.

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

Subclasses of Clause in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Modifier and Type	Class	Description
static final class	SemiNaiveClauseAnnotator.SemiNaiveClause

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

Modifier and Type	Method	Description
Clause	BottomUpEngineFrameWithProvenance.getJustification(PositiveAtom fact)
Clause	EvalManagerWithProvenance.getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.

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

Modifier and Type	Method	Description
void	BottomUpEngineFrame.init(Set<Clause> program)
void	EvalManager.initialize(Set<Clause> program)	Initialize this manager with a program.

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

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

Modifier and Type	Method	Description
void	BottomUpEvalManager.initialize(Set<Clause> program)
void	ExtensibleBottomUpEvalManager.initialize(Set<Clause> program)
void	StratifiedNegationEvalManager.initialize(Set<Clause> program)

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

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

Modifier and Type	Method	Description
Clause	SemiNaiveEvalManager.getJustification(PositiveAtom fact)
static Clause	SemiNaiveEvalManager.stripSemiNaiveClause(SemiNaiveClauseAnnotator.SemiNaiveClause cl)

Method parameters in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential with type arguments of type Clause

Modifier and Type	Method	Description
void	SemiNaiveEvalManager.initialize(Set<Clause> program)

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

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

Modifier and Type	Method	Description
void	AbstractQsqEngine.init(Set<Clause> program)
void	MstEngine.init(Set<Clause> program)

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

Method parameters in edu.harvard.seas.pl.abcdatalog.executor with type arguments of type Clause

Modifier and Type	Method	Description
void	DatalogExecutor.initialize(Set<Clause> program, Set<PredicateSym> extendibleEdbPreds)	Initializes the Datalog engine with a program and specifies which EDB relations can be extended (with DatalogExecutor.addFactAsynchronously()) during evaluation.
void	DatalogParallelExecutor.initialize(Set<Clause> program, Set<PredicateSym> extensibleEdbPreds)

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

Methods in edu.harvard.seas.pl.abcdatalog.parser that return types with arguments of type Clause

Modifier and Type	Method	Description
static Set<Clause>	DatalogParser.parseProgram(DatalogTokenizer t)	Generates an abstract syntax tree representation of the program described by the provided token stream.

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

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that return Clause

Modifier and Type	Method	Description
static Clause	SubstitutionUtils.applyToClause(Substitution subst, Clause cl)

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution with parameters of type Clause

Modifier and Type	Method	Description
static Clause	SubstitutionUtils.applyToClause(Substitution subst, Clause cl)