org.semanticweb.HermiT.model
Class AtLeast

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.ExistentialConcept
          extended by org.semanticweb.HermiT.model.AtLeast
All Implemented Interfaces:
java.io.Serializable, DLPredicate
Direct Known Subclasses:
AtLeastConcept, AtLeastDataRange

public abstract class AtLeast
extends ExistentialConcept
implements DLPredicate

Represents at-least concepts, either for data ranges or concepts.

See Also:
Serialized Form

Field Summary
protected  int m_number
           
protected  Role m_onRole
           
 
Constructor Summary
protected AtLeast(int number, Role onRole)
           
 
Method Summary
 int getArity()
           
 int getNumber()
           
 Role getOnRole()
           
 boolean isAlwaysTrue()
           
 
Methods inherited from class org.semanticweb.HermiT.model.Concept
isAlwaysFalse, toString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.HermiT.model.DLPredicate
toString
 

Field Detail

m_number

protected final int m_number

m_onRole

protected final Role m_onRole
Constructor Detail

AtLeast

protected AtLeast(int number,
                  Role onRole)
Method Detail

getNumber

public int getNumber()

getOnRole

public Role getOnRole()

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate

isAlwaysTrue

public boolean isAlwaysTrue()
Specified by:
isAlwaysTrue in class Concept