org.semanticweb.HermiT.model
Class NodeIDsAscendingOrEqual

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

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

Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal.

See Also:
Serialized Form

Field Summary
protected  int m_arity
           
protected static InterningManager<NodeIDsAscendingOrEqual> s_interningManager
           
 
Constructor Summary
protected NodeIDsAscendingOrEqual(int arity)
           
 
Method Summary
static NodeIDsAscendingOrEqual create(int arity)
           
 int getArity()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_arity

protected final int m_arity

s_interningManager

protected static InterningManager<NodeIDsAscendingOrEqual> s_interningManager
Constructor Detail

NodeIDsAscendingOrEqual

protected NodeIDsAscendingOrEqual(int arity)
Method Detail

getArity

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

readResolve

protected java.lang.Object readResolve()

toString

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

create

public static NodeIDsAscendingOrEqual create(int arity)