org.semanticweb.HermiT.model
Class Equality

java.lang.Object
  extended by org.semanticweb.HermiT.model.Equality
All Implemented Interfaces:
Serializable, DLPredicate

public class Equality
extends Object
implements DLPredicate, 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  Object readResolve()
           
 String toOrderedString(Prefixes prefixes)
           
 String toString()
           
 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 String toString(Prefixes prefixes)
Specified by:
toString in interface DLPredicate

toOrderedString

public String toOrderedString(Prefixes prefixes)

toString

public String toString()
Overrides:
toString in class Object

readResolve

protected Object readResolve()

create

public static Equality create()


Copyright © 2012. All Rights Reserved.