Package edu.harvard.seas.pl.abcdatalog.ast.validation

Class StratifiedNegationValidator

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.validation.StratifiedNegationValidator

public final class StratifiedNegationValidator
extends Object

A class for validating that an unstratified program can be successfully stratified for negation.

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

validate

public static StratifiedProgram validate(UnstratifiedProgram prog)
                                  throws DatalogValidationException

Validates that the given unstratified program can be stratified for negation and returns a witness stratified program.

Parameters:

prog - the unstratified program

Returns:

the stratified program

Throws:

DatalogValidationException - if the given program cannot be stratified for negation