Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram

Packages that use UnstratifiedProgram

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).

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

Subinterfaces of UnstratifiedProgram in edu.harvard.seas.pl.abcdatalog.ast.validation

Modifier and Type	Interface	Description
interface	StratifiedProgram	A Datalog program that has been stratified; for instance, to support stratified negation.

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

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

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

Modifier and Type	Method	Description
static StratifiedProgram	StratifiedNegationValidator.validate(UnstratifiedProgram prog)	Validates that the given unstratified program can be stratified for negation and returns a witness stratified program.