net.sf.tweety.logics.fol.syntax

Class EqualityPredicate

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

net.sf.tweety.logics.fol.syntax.EqualityPredicate

All Implemented Interfaces:

java.lang.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 and Description
EqualityPredicate()

Method Summary

Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate

clone, equals, hashCode

Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EqualityPredicate

public EqualityPredicate()