org.semanticweb.HermiT.model
Class NodeIDLessEqualThan

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

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

Represents the built-in predicate that is used to enforce ordering on nodes in the translation of at-most concepts.

See Also:
Serialized Form

Field Summary
static NodeIDLessEqualThan INSTANCE
           
 
Constructor Summary
protected NodeIDLessEqualThan()
           
 
Method Summary
static NodeIDLessEqualThan 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 NodeIDLessEqualThan INSTANCE
Constructor Detail

NodeIDLessEqualThan

protected NodeIDLessEqualThan()
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 NodeIDLessEqualThan create()