Uses of Enum Class
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Packages that use DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

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

Uses of DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers that return DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Modifier and Type	Method	Description
abstract DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	DatalogPlusMinusLanguageChecker.getDatalogPlusMinusName()
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	GuardedChecker.getDatalogPlusMinusName()
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	LinearChecker.getDatalogPlusMinusName()
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	StickyChecker.getDatalogPlusMinusName()
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	WeaklyGuardedChecker.getDatalogPlusMinusName()
static DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage.valueOf(String name)	Returns the enum constant of this class with the specified name.
static DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage[]	DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers that return types with arguments of type DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Modifier and Type	Method	Description
Set<DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage>	DatalogPlusMinusAnalyzer.getDatalogPlusMinusLanguages(DependencySchema dependencySchema)