org.semanticweb.HermiT.model

Class Equality

java.lang.Object

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

Fields

Modifier and Type	Field and Description
static Equality	INSTANCE Instance.

Method Summary

Modifier and Type	Method and Description
static Equality	create()
int	getArity()
String	toOrderedString(Prefixes prefixes)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final Equality INSTANCE

Instance.

Method Detail

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Parameters:

prefixes - prefixes

Returns:

tostring

toOrderedString

public String toOrderedString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

string

toString

public String toString()

Overrides:

toString in class Object

create

public static Equality create()

Returns:

instance