|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||