org.semanticweb.HermiT.model
Class AtLeastConcept
java.lang.Object
org.semanticweb.HermiT.model.Concept
org.semanticweb.HermiT.model.ExistentialConcept
org.semanticweb.HermiT.model.AtLeast
org.semanticweb.HermiT.model.AtLeastConcept
- All Implemented Interfaces:
- java.io.Serializable, DLPredicate
public class AtLeastConcept
- extends AtLeast
Represents at-least concept.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_toConcept
protected final LiteralConcept m_toConcept
s_interningManager
protected static InterningManager<AtLeastConcept> s_interningManager
AtLeastConcept
protected AtLeastConcept(int number,
Role onRole,
LiteralConcept toConcept)
getToConcept
public LiteralConcept getToConcept()
isAlwaysFalse
public boolean isAlwaysFalse()
- Specified by:
isAlwaysFalse
in class Concept
toString
public java.lang.String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
- Specified by:
toString
in class Concept
readResolve
protected java.lang.Object readResolve()
create
public static AtLeastConcept create(int number,
Role onRole,
LiteralConcept toConcept)