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

Packages that use Constant

Package	Description
org.semanticweb.HermiT.model

Uses of Constant in org.semanticweb.HermiT.model

Fields in org.semanticweb.HermiT.model declared as Constant

Modifier and Type	Field and Description
static Constant[]	DatatypeRestriction.NO_FACET_VALUES no facet values

Methods in org.semanticweb.HermiT.model that return Constant

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
Map<AtomicRole,Map<Individual,Set<Constant>>>	DLOntology.getDataPropertyAssertions()

Methods in org.semanticweb.HermiT.model with parameters of type Constant

Modifier and Type	Method and Description
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

Constructor and Description
DatatypeRestriction(String datatypeURI, String[] facetURIs, Constant[] facetValues)