org.semanticweb.HermiT.model
Class Inequality

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

Inequality

protected Inequality()
Method Detail

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate

toString

public String toString(Prefixes prefixes)
Specified by:
toString in interface DLPredicate

toString

public String toString()
Overrides:
toString in class Object

readResolve

protected Object readResolve()

create

public static Inequality create()


Copyright © 2012. All Rights Reserved.