Package 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 Description InequalityPredicate()
-
Method Summary
-
Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString
-
-