Uses of Class
org.semanticweb.HermiT.model.Constant

Packages that use Constant
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
 

Uses of Constant in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Constant
protected  int Printing.DataRangeComparator.compareConstants(Constant c1, Constant c2)
           
 

Uses of Constant in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model declared as Constant
protected  Constant[] ConstantEnumeration.m_constants
           
protected  Constant[] DatatypeRestriction.m_facetValues
           
static Constant[] DatatypeRestriction.NO_FACET_VALUES
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type Constant
protected  java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> DLOntology.m_dataPropertyAssertions
           
protected static InterningManager<Constant> Constant.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return Constant
static Constant Constant.create(java.lang.String lexicalForm, java.lang.String datatypeURI)
           
static Constant Constant.createAnonymous(java.lang.String id)
           
 Constant ConstantEnumeration.getConstant(int index)
           
 Constant DatatypeRestriction.getFacetValue(int index)
           
 

Methods in org.semanticweb.HermiT.model that return types with arguments of type Constant
 java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> DLOntology.getDataPropertyAssertions()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type Constant
static ConstantEnumeration ConstantEnumeration.create(Constant[] constants)
           
static DatatypeRestriction DatatypeRestriction.create(java.lang.String datatypeURI, java.lang.String[] facetURIs, Constant[] facetValues)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type Constant
ConstantEnumeration(Constant[] constants)
           
DatatypeRestriction(java.lang.String datatypeURI, java.lang.String[] facetURIs, Constant[] facetValues)
           
 

Uses of Constant in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural that return Constant
protected  Constant ReducedABoxOnlyClausification.getConstant(org.semanticweb.owlapi.model.OWLLiteral lit)