Package org.tweetyproject.logics.fol.syntax

Class InequalityPredicate

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.logics.fol.syntax.InequalityPredicate

All Implemented Interfaces:

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	Description
InequalityPredicate()	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

InequalityPredicate

public InequalityPredicate()

constructor