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
INSTANCE
public static final NodeIDLessEqualThan INSTANCE
NodeIDLessEqualThan
protected NodeIDLessEqualThan()
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
toString
public String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
toString
public String toString()
- Overrides:
toString
in class Object
readResolve
protected Object readResolve()
create
public static NodeIDLessEqualThan create()
Copyright © 2012. All Rights Reserved.