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)	Constructs new Literal after applying the substitution to the literal terms.
String	getOperationName()	Returns the built-in literal operation name.
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()

Description copied from class: BuiltInLiteral

Returns the built-in literal operation name.

Specified by:

getOperationName in class BuiltInLiteral

Returns:

the operation name.

getTerms

public ImmutableTermList getTerms()

Specified by:

getTerms in class Literal

applySubstitution

public CustomBuiltInLiteral applySubstitution(Substitution substitution)

Description copied from class: Literal

Constructs new Literal after applying the substitution to the literal terms.

Specified by:

applySubstitution in class Literal

Parameters:

substitution - substitution to apply.

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