|
||||||||||
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 |