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

Class GuardedChecker

java.lang.Object

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

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

public class GuardedChecker
extends DatalogPlusMinusLanguageChecker

Constructor Summary

Constructors

Constructor	Description
GuardedChecker()

Method Summary

Modifier and Type	Method	Description
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	getDatalogPlusMinusName()
boolean	isGuarded(DependencySchema dependencySchema)
boolean	satisfies(DependencySchema dependencySchema)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

someDependencyContainsBuiltInOrNegatedLiteralInBody

Methods inherited from class java.lang.Object

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

Constructor Details

GuardedChecker

public GuardedChecker()

Method Details

isGuarded

public boolean isGuarded(DependencySchema dependencySchema)

satisfies

public boolean satisfies(DependencySchema dependencySchema)

Specified by:

satisfies in class DatalogPlusMinusLanguageChecker

getDatalogPlusMinusName

public DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage getDatalogPlusMinusName()

Specified by:

getDatalogPlusMinusName in class DatalogPlusMinusLanguageChecker