org.semanticweb.HermiT.model
Class Inequality

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

public class Inequality
extends java.lang.Object
implements DLPredicate, java.io.Serializable

Represents the inequality predicate.

See Also:
Serialized Form

Field Summary
static Inequality INSTANCE
           
 
Constructor Summary
protected Inequality()
           
 
Method Summary
static Inequality create()
           
 int getArity()
           
protected  java.lang.Object readResolve()
           
 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 Inequality INSTANCE
Constructor Detail

Inequality

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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

readResolve

protected java.lang.Object readResolve()

create

public static Inequality create()