Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Class DatalogPlusMinusLanguageChecker

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

Direct Known Subclasses:

GuardedChecker, LinearChecker, StickyChecker, WeaklyGuardedChecker

public abstract class DatalogPlusMinusLanguageChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
DatalogPlusMinusLanguageChecker()

Method Summary

Modifier and Type	Method	Description
abstract DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	getDatalogPlusMinusName()
abstract boolean	satisfies(DependencySchema dependencySchema)
protected static boolean	someDependencyContainsBuiltInOrNegatedLiteralInBody(DependencySchema dependencySchema)

Methods inherited from class java.lang.Object

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

Constructor Details

DatalogPlusMinusLanguageChecker

public DatalogPlusMinusLanguageChecker()

Method Details

satisfies

public abstract boolean satisfies(DependencySchema dependencySchema)

getDatalogPlusMinusName

public abstract DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage getDatalogPlusMinusName()

someDependencyContainsBuiltInOrNegatedLiteralInBody

protected static boolean someDependencyContainsBuiltInOrNegatedLiteralInBody(DependencySchema dependencySchema)