Package net.sf.tweety.logics.fol.syntax
Class EqualityPredicate
- java.lang.Object
-
- net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
-
- net.sf.tweety.logics.commons.syntax.Predicate
-
- net.sf.tweety.logics.fol.syntax.EqualityPredicate
-
- All Implemented Interfaces:
java.lang.Comparable<TypedStructureAdapter>
,TypedStructure
public class EqualityPredicate extends Predicate
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
Constructors Constructor Description EqualityPredicate()
-
Method Summary
-
Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString
-
-