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

Class CustomBuiltInLiteral

java.lang.Object

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

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

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

public class CustomBuiltInLiteral
extends BuiltInLiteral

Implementation of non-standard built-in literals. That is, built-in literals that are not the usual arithmetic comparisons.

Constructor Summary

Constructors

Constructor	Description
CustomBuiltInLiteral(String operationName, List<Term> terms)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
CustomBuiltInLiteral	applySubstitution(Substitution substitution)
String	getOperationName()
ImmutableTermList	getTerms()
String	toString()

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

buildNegatedLiteral, canBeNegated, getArity, getUsedVariables, isGround

Methods inherited from class java.lang.Object

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

Constructor Details

CustomBuiltInLiteral

public CustomBuiltInLiteral(String operationName,
 List<Term> terms)

Method Details

getOperationName

public String getOperationName()

Specified by:

getOperationName in class BuiltInLiteral

getTerms

public ImmutableTermList getTerms()

Specified by:

getTerms in class Literal

applySubstitution

public CustomBuiltInLiteral applySubstitution(Substitution substitution)

Specified by:

applySubstitution in class Literal

Parameters:

substitution - not null

Returns:

a literal after applying the given substitution. The literal will be new if some term has changed, otherwise it will be the same

accept

public <T> T accept(LogicSchemaVisitor<T> visitor)

Specified by:

accept in class Literal

toString

public String toString()

Overrides:

toString in class Object