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:

Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

public class EqualityPredicate
extends net.sf.tweety.logics.commons.syntax.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, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualityPredicate

public EqualityPredicate()