Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class BuiltInLiteral

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral

Direct Known Subclasses:

BooleanBuiltInLiteral, ComparisonBuiltInLiteral, CustomBuiltInLiteral

public abstract class BuiltInLiteral
extends Literal

Implementation of the logic built-in literal. That is, a literal whose interpretation is fixed, rather than checked over a database.

E.g. "3 < 4"

Constructor Summary

Constructors

Constructor	Description
BuiltInLiteral()

Method Summary

Modifier and Type	Method	Description
abstract String	getOperationName()	Returns the built-in literal operation name.

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

accept, applySubstitution, buildNegatedLiteral, canBeNegated, getArity, getTerms, getUsedVariables, isGround

Methods inherited from class java.lang.Object

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

Constructor Details

BuiltInLiteral

public BuiltInLiteral()

Method Details

getOperationName

public abstract String getOperationName()

Returns the built-in literal operation name.

Returns:

the operation name.