net.sf.tweety.logics.fol.syntax

Class InequalityPredicate

java.lang.Object

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

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

net.sf.tweety.logics.fol.syntax.InequalityPredicate

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure

public class InequalityPredicate
extends Predicate

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

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor and Description
InequalityPredicate()

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

InequalityPredicate

public InequalityPredicate()