org.semanticweb.HermiT.model
Class Equality
java.lang.Object
org.semanticweb.HermiT.model.Equality
- All Implemented Interfaces:
- java.io.Serializable, DLPredicate
public class Equality
- extends java.lang.Object
- implements DLPredicate, java.io.Serializable
Represents the equality predicate.
- See Also:
- Serialized Form
Constructor Summary |
protected |
Equality()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
INSTANCE
public static final Equality INSTANCE
Equality
protected Equality()
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
toString
public java.lang.String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
toOrderedString
public java.lang.String toOrderedString(Prefixes prefixes)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
readResolve
protected java.lang.Object readResolve()
create
public static Equality create()