Package org.tweetyproject.logics.fol.syntax

Class EqualityPredicate

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.logics.fol.syntax.EqualityPredicate

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

public class EqualityPredicate
extends Predicate

This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation. Terms of the equality predicate are of the sort "_Any" which is considered equal to all other sorts.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
EqualityPredicate()	constructor

Method Summary

Methods inherited from class org.tweetyproject.logics.commons.syntax.Predicate

clone, equals, hashCode

Methods inherited from class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

EqualityPredicate

public EqualityPredicate()

constructor