Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException

Packages that use DatalogValidationException

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

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

Methods in edu.harvard.seas.pl.abcdatalog.ast.validation that throw DatalogValidationException

Modifier and Type	Method	Description
UnstratifiedProgram	DatalogValidator.validate(Set<Clause> program)
UnstratifiedProgram	DatalogValidator.validate(Set<Clause> program, boolean treatIdbFactsAsClauses)
static StratifiedProgram	StratifiedNegationValidator.validate(UnstratifiedProgram prog)	Validates that the given unstratified program can be stratified for negation and returns a witness stratified program.

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

Methods in edu.harvard.seas.pl.abcdatalog.engine that throw DatalogValidationException

Modifier and Type	Method	Description
void	DatalogEngine.init(Set<Clause> program)	Initializes engine with a Datalog program, including EDB facts.
static void	EngineExample.main(String[] args)

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

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that throw DatalogValidationException

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 DatalogValidationException in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent that throw DatalogValidationException

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 DatalogValidationException in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential that throw DatalogValidationException

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

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

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that throw DatalogValidationException

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

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

Methods in edu.harvard.seas.pl.abcdatalog.executor that throw DatalogValidationException

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)
static void	ExecutorExample.main(String[] args)	Runs an executor on a basic graph transitive closure example.

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

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that throw DatalogValidationException

Modifier and Type	Method	Description
static void	ClauseSubstitution.main(String[] args)