Uses of Class
uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration

Packages that use JFactReasonerConfiguration

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.split

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

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

Constructor and Description
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, JFactReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

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

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

Constructor and Description
DataTypeReasoner(JFactReasonerConfiguration o)

Uses of JFactReasonerConfiguration in uk.ac.manchester.cs.jfact.elf

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

Constructor and Description
ELFReasoner(JFactReasonerConfiguration c, Ontology ont) c'tor: take the ontology and init internal structures

Uses of JFactReasonerConfiguration in uk.ac.manchester.cs.jfact.helpers

Methods in uk.ac.manchester.cs.jfact.helpers with parameters of type JFactReasonerConfiguration

Modifier and Type	Method and Description
void	Stats.logStatisticData(LogAdapter o, boolean needLocal, DlCompletionGraph CGraph, JFactReasonerConfiguration options)

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

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

Modifier and Type	Field and Description
protected JFactReasonerConfiguration	DlSatTester.options

Methods in uk.ac.manchester.cs.jfact.kernel that return JFactReasonerConfiguration

Modifier and Type	Method and Description
JFactReasonerConfiguration	TBox.getOptions()
JFactReasonerConfiguration	DlSatTester.getOptions()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type JFactReasonerConfiguration

Modifier and Type	Method and Description
void	TaxonomyVertex.incorporate(JFactReasonerConfiguration c)

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

Constructor and Description
DlCompletionTree(int newId, JFactReasonerConfiguration c)
DLDag(JFactReasonerConfiguration Options)
DlSatTester(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
NamedEntryCollection(String name, NameCreator<T> creator, JFactReasonerConfiguration options) c'tor: clear 0-th element
NominalReasoner(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
ReasoningKernel(JFactReasonerConfiguration conf, DatatypeFactory factory)
RoleMaster(boolean d, String TopRoleName, String BotRoleName, JFactReasonerConfiguration c)
Taxonomy(ClassifiableEntry pTop, ClassifiableEntry pBottom, JFactReasonerConfiguration c)
TBox(DatatypeFactory datatypeFactory, JFactReasonerConfiguration configuration, String topObjectRoleName, String botObjectRoleName, String topDataRoleName, String botDataRoleName, AtomicBoolean interrupted)

Uses of JFactReasonerConfiguration in uk.ac.manchester.cs.jfact.split

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

Constructor and Description
TAxiomSplitter(JFactReasonerConfiguration config, Ontology o)
TModularizer(JFactReasonerConfiguration config, LocalityChecker c) init c'tor
TSplitRules(JFactReasonerConfiguration options)