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

Class LinearChecker

java.lang.Object

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

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

public class LinearChecker
extends DatalogPlusMinusLanguageChecker

Constructor Summary

Constructors

Constructor	Description
LinearChecker()

Method Summary

Modifier and Type	Method	Description
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	getDatalogPlusMinusName()
boolean	isLinear(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

LinearChecker

public LinearChecker()

Method Details

isLinear

public boolean isLinear(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