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 a logic built-in literal. That is, a literal whose interpretation is fixed, rather than checked over a database. E.g. "3 < 4" is a built-in literal since it can be checked without accessing a database

Constructor Summary

Constructors

Constructor	Description
BuiltInLiteral()

Method Summary

Modifier and Type	Method	Description
abstract String	getOperationName()

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()