Uses of Class
uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory

Packages that use DatatypeFactory

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.kernel

Uses of DatatypeFactory in uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return DatatypeFactory

Modifier and Type	Method and Description
DatatypeFactory	JFactReasoner.getDatatypeFactory()

Constructors in uk.ac.manchester.cs.jfact with parameters of type DatatypeFactory

Constructor and Description
TranslationMachinery(ReasoningKernel kernel, org.semanticweb.owlapi.model.OWLDataFactory df, DatatypeFactory factory)

Uses of DatatypeFactory in uk.ac.manchester.cs.jfact.datatypes

Methods in uk.ac.manchester.cs.jfact.datatypes that return DatatypeFactory

Modifier and Type	Method and Description
static DatatypeFactory	DatatypeFactory.getInstance()

Uses of DatatypeFactory in uk.ac.manchester.cs.jfact.kernel

Fields in uk.ac.manchester.cs.jfact.kernel declared as DatatypeFactory

Modifier and Type	Field and Description
protected DatatypeFactory	DlSatTester.datatypeFactory

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type DatatypeFactory

Constructor and Description
DlSatTester(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
NominalReasoner(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
ReasoningKernel(JFactReasonerConfiguration conf, DatatypeFactory factory)
TBox(DatatypeFactory datatypeFactory, JFactReasonerConfiguration configuration, String topObjectRoleName, String botObjectRoleName, String topDataRoleName, String botDataRoleName, AtomicBoolean interrupted)