org.semanticweb.HermiT.model
Class NodeIDsAscendingOrEqual
java.lang.Object
org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual
- All Implemented Interfaces:
- Serializable, DLPredicate
public class NodeIDsAscendingOrEqual
- extends Object
- implements DLPredicate, Serializable
Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_arity
protected final int m_arity
s_interningManager
protected static InterningManager<NodeIDsAscendingOrEqual> s_interningManager
NodeIDsAscendingOrEqual
protected NodeIDsAscendingOrEqual(int arity)
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
readResolve
protected Object readResolve()
toString
public String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
create
public static NodeIDsAscendingOrEqual create(int arity)
Copyright © 2012. All Rights Reserved.