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

Method Summary

Modifier and Type	Method and Description
static NodeIDsAscendingOrEqual	create(int arity)
int	getArity()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Parameters:

prefixes - prefixes

Returns:

tostring

create

public static NodeIDsAscendingOrEqual create(int arity)

Parameters:

arity - arity

Returns:

node