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:

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

InequalityPredicate

public InequalityPredicate()