Class EqualityPredicate
java.lang.Object
org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
org.tweetyproject.logics.commons.syntax.Predicate
org.tweetyproject.logics.fol.syntax.EqualityPredicate
- All Implemented Interfaces:
Comparable<TypedStructureAdapter>
,TypedStructure
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
-
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
-
Constructor Details
-
EqualityPredicate
public EqualityPredicate()constructor
-