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

Class ComparisonBuiltInLiteral

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.ComparisonBuiltInLiteral

Direct Known Subclasses:

EqualityComparisonBuiltInLiteral

public class ComparisonBuiltInLiteral
extends BuiltInLiteral

Implementation of the logic ComparisonBuiltInLiteral. E.g. "x < 4".

Constructor Summary

Constructors

Constructor	Description
ComparisonBuiltInLiteral(Term leftTerm, Term rightTerm, ComparisonOperator operator)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
ComparisonBuiltInLiteral	applySubstitution(Substitution substitution)
ComparisonBuiltInLiteral	buildNegatedLiteral()	This method builds a new literal that is the negation of this one.
Term	getLeftTerm()
String	getOperationName()
ComparisonOperator	getOperator()
Term	getRightTerm()
ImmutableTermList	getTerms()
String	toString()

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

canBeNegated, getArity, getUsedVariables, isGround

Methods inherited from class java.lang.Object

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

Constructor Details

ComparisonBuiltInLiteral

public ComparisonBuiltInLiteral(Term leftTerm,
 Term rightTerm,
 ComparisonOperator operator)

Method Details

getLeftTerm

public Term getLeftTerm()

getRightTerm

public Term getRightTerm()

getOperator

public ComparisonOperator getOperator()

getTerms

public ImmutableTermList getTerms()

Specified by:

getTerms in class Literal

applySubstitution

public ComparisonBuiltInLiteral 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

getOperationName

public String getOperationName()

Specified by:

getOperationName in class BuiltInLiteral

toString

public String toString()

Overrides:

toString in class Object

buildNegatedLiteral

public ComparisonBuiltInLiteral buildNegatedLiteral()

Description copied from class: Literal

This method builds a new literal that is the negation of this one. E.g.: given an ordinary literal "P(x)" it will return a new literal "not(P(x))", or given a built-in literal "x < y" it will return "x >= y"

Not all built-in literals can be negated. Thus, this function might throw an Exception.

Overrides:

buildNegatedLiteral in class Literal

Returns:

a new literal that is the negation of this literal, if this is possible