org.semanticweb.HermiT.model

Class NodeIDLessEqualThan

java.lang.Object

org.semanticweb.HermiT.model.NodeIDLessEqualThan

All Implemented Interfaces:

Serializable, DLPredicate

public class NodeIDLessEqualThan
extends Object
implements DLPredicate, 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

Fields

Modifier and Type	Field and Description
static NodeIDLessEqualThan	INSTANCE Instance.

Method Summary

Modifier and Type	Method and Description
int	getArity()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final NodeIDLessEqualThan INSTANCE

Instance.

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

toString

public String toString()

Overrides:

toString in class Object