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.testing	This package contains classes for testing the correctness of an implementation of edu.harvard.seas.pl.abcdatalog.engine.
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 and 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 and 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 and 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 and Description
void	ExtensibleBottomUpEvalManager.initialize(Set<Clause> program)
void	StratifiedNegationEvalManager.initialize(Set<Clause> program)
void	BottomUpEvalManager.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 and Description
void	SemiNaiveEvalManager.initialize(Set<Clause> program)

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

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

Modifier and Type	Method and Description
protected DatalogEngine	AbstractTests.initEngineUnsafe(Reader program)
protected DatalogEngine	AbstractTests.initEngineUnsafe(String program)
protected void	AbstractTests.test(String program, String query, String expected)
void	ExplicitUnificationTests.testBinaryDisunificationFail1()
void	ExplicitUnificationTests.testBinaryDisunificationFail2()
void	ExplicitUnificationTests.testBinaryDisunificationNoAtom()
void	ExplicitUnificationTests.testBinaryUnificationNoAtom()
void	CoreTests.testEmptyProgram()
void	StratifiedNegationTests.testExplicitUnification1()
void	StratifiedNegationTests.testExplicitUnification2()
protected void	AbstractTests.testFile(String file, String query, String expected)
void	ExplicitUnificationTests.testImpossibleBinaryDisunification1()
void	ExplicitUnificationTests.testImpossibleBinaryDisunification2()
void	ExplicitUnificationTests.testImpossibleBinaryDisunification3()
void	ExplicitUnificationTests.testImpossibleBinaryUnification1()
void	ExplicitUnificationTests.testImpossibleBinaryUnification2()
void	StratifiedNegationTests.testMultiLayeredNegation()
void	StratifiedNegationTests.testNegatedAtomFirst()
void	StratifiedNegationTests.testNegatedNoPositiveAtom()
void	StratifiedNegationTests.testNegatedUnboundVariable1()
void	StratifiedNegationTests.testNegatedUnboundVariable2()
void	StratifiedNegationTests.testNegatedUnboundVariable3()
void	StratifiedNegationTests.testRelated()
void	StratifiedNegationTests.testRelated2()
void	CoreTests.testRulesWithTrue()
void	CoreTests.testUnboundVariable1()
void	CoreTests.testUnboundVariable2()
void	StratifiedNegationTests.TestUnstratifiable1()
void	StratifiedNegationTests.TestUnstratifiable2()
void	ExplicitUnificationTests.testUselessBinaryUnification()

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 and Description
void	MstEngine.init(Set<Clause> program)
void	AbstractQsqEngine.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 and Description
void	DatalogParallelExecutor.initialize(Set<Clause> program, Set<PredicateSym> extensibleEdbPreds)
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.
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 and Description
static void	ClauseSubstitution.main(String[] args)