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

Packages that use StratifiedProgram

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 StratifiedProgram in edu.harvard.seas.pl.abcdatalog.ast.validation

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

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.