org.semanticweb.HermiT.model
Class AtLeastConcept

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.ExistentialConcept
          extended by org.semanticweb.HermiT.model.AtLeast
              extended by 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

Field Summary
protected  LiteralConcept m_toConcept
           
protected static InterningManager<AtLeastConcept> s_interningManager
           
 
Fields inherited from class org.semanticweb.HermiT.model.AtLeast
m_number, m_onRole
 
Constructor Summary
protected AtLeastConcept(int number, Role onRole, LiteralConcept toConcept)
           
 
Method Summary
static AtLeastConcept create(int number, Role onRole, LiteralConcept toConcept)
           
 LiteralConcept getToConcept()
           
 boolean isAlwaysFalse()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.AtLeast
getArity, getNumber, getOnRole, isAlwaysTrue
 
Methods inherited from class org.semanticweb.HermiT.model.Concept
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_toConcept

protected final LiteralConcept m_toConcept

s_interningManager

protected static InterningManager<AtLeastConcept> s_interningManager
Constructor Detail

AtLeastConcept

protected AtLeastConcept(int number,
                         Role onRole,
                         LiteralConcept toConcept)
Method Detail

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)