org.semanticweb.HermiT.model

Class Inequality

java.lang.Object

org.semanticweb.HermiT.model.Inequality

All Implemented Interfaces:

Serializable, DLPredicate

public class Inequality
extends Object
implements DLPredicate, Serializable

Represents the inequality predicate.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Inequality	INSTANCE Instance.

Method Summary

Modifier and Type	Method and Description
static Inequality	create()
int	getArity()
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 Inequality 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

toString

public String toString()

Overrides:

toString in class Object

create

public static Inequality create()

Returns:

instance