org.semanticweb.HermiT.model
Class Equality

java.lang.Object
  extended by 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

Field Summary
static Equality INSTANCE
           
 
Constructor Summary
protected Equality()
           
 
Method Summary
static Equality create()
           
 int getArity()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toOrderedString(Prefixes prefixes)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

INSTANCE

public static final Equality INSTANCE
Constructor Detail

Equality

protected Equality()
Method Detail

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