|
||||||||||
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 Map<AtomicRole,Map<Individual,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(String lexicalForm,
String datatypeURI)
|
static Constant |
Constant.createAnonymous(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 | |
---|---|
Map<AtomicRole,Map<Individual,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(String datatypeURI,
String[] facetURIs,
Constant[] facetValues)
|
Constructors in org.semanticweb.HermiT.model with parameters of type Constant | |
---|---|
ConstantEnumeration(Constant[] constants)
|
|
DatatypeRestriction(String datatypeURI,
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 literal)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |