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

Class EqualityComparisonBuiltInLiteral

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

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

public class EqualityComparisonBuiltInLiteral
extends ComparisonBuiltInLiteral

Constructor Summary

Constructors

Constructor	Description
EqualityComparisonBuiltInLiteral(Term leftTerm, Term rightTerm)

Method Summary

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

accept, applySubstitution, buildNegatedLiteral, getLeftTerm, getOperationName, getOperator, getRightTerm, getTerms, 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

EqualityComparisonBuiltInLiteral

public EqualityComparisonBuiltInLiteral(Term leftTerm,
 Term rightTerm)