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.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.kernel.options
uk.ac.manchester.cs.jfact.split

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

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

Modifier and Type	Method and Description
JFactReasonerConfiguration	JFactReasoner.getConfiguration()

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

Constructor and Description
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, Collection<org.semanticweb.owlapi.model.OWLAxiom> axioms, JFactReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
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 config)

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) Log statistic data.

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

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

Modifier and Type	Method and Description
JFactReasonerConfiguration	TBox.getOptions()
JFactReasonerConfiguration	Taxonomy.getOptions()
JFactReasonerConfiguration	ReasoningKernel.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
CGLabel(JFactReasonerConfiguration config) Default constructor.
CWDArray(JFactReasonerConfiguration config, int size)
DlCompletionTree(int newId, JFactReasonerConfiguration c)
DLDag(JFactReasonerConfiguration Options)
NamedEntryCollection(String name, NameCreator<T,org.semanticweb.owlapi.model.IRI> creator, JFactReasonerConfiguration options) c'tor: clear 0-th element
NominalReasoner(TBox tbox, JFactReasonerConfiguration Options)
ReasoningKernel(JFactReasonerConfiguration conf, DatatypeFactory factory)
RoleMaster(boolean d, org.semanticweb.owlapi.model.IRI TopRoleName, org.semanticweb.owlapi.model.IRI BotRoleName, JFactReasonerConfiguration c)
Taxonomy(ClassifiableEntry pTop, ClassifiableEntry pBottom, JFactReasonerConfiguration c)
TBox(DatatypeFactory datatypeFactory, JFactReasonerConfiguration configuration, AtomicBoolean interrupted)

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

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

Constructor and Description
ModelCacheIan(boolean flagNominals, int nC, int nR, JFactReasonerConfiguration simpleRules)
ModelCacheIan(DLDag heap, DlCompletionTree p, boolean flagNominals, int nC, int nR, JFactReasonerConfiguration simpleRules) Create cache model of given CompletionTree using given HEAP

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

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

Modifier and Type	Method and Description
JFactReasonerConfiguration	JFactReasonerConfiguration.setAbsorptionLoggingActive(boolean b) Sets the absorption logging active.
JFactReasonerConfiguration	JFactReasonerConfiguration.setAbsorptionLogOutputStream(OutputStream o) Sets the absorption log output stream.
JFactReasonerConfiguration	JFactReasonerConfiguration.setAllowUndefinedNames(boolean b)
JFactReasonerConfiguration	JFactReasonerConfiguration.setDEBUG_SAVE_RESTORE(boolean b) Sets the debug save restore.
JFactReasonerConfiguration	JFactReasonerConfiguration.setdumpQuery(boolean value) Sets the dump query.
JFactReasonerConfiguration	JFactReasonerConfiguration.setFPP_DEBUG_SPLIT_MODULES(boolean b) Sets the fpp debug split modules.
JFactReasonerConfiguration	JFactReasonerConfiguration.setLoggingActive(boolean b) Sets the logging active.
JFactReasonerConfiguration	JFactReasonerConfiguration.setNeedLogging(boolean b)
JFactReasonerConfiguration	JFactReasonerConfiguration.setorSortSat(String defSat) Sets the or sort sat.
JFactReasonerConfiguration	JFactReasonerConfiguration.setorSortSub(String defSat) Sets the or sort sub.
JFactReasonerConfiguration	JFactReasonerConfiguration.setQueryAnswering(boolean b)
JFactReasonerConfiguration	JFactReasonerConfiguration.setRegularLogOutputStream(OutputStream o) Sets the regular log output stream.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_IMPROVE_SAVE_RESTORE_DEPSET(boolean b) Sets the rkg improve save restore depset.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_PRINT_DAG_USAGE(boolean b) Sets the rkg print dag usage.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_UPDATE_RND_FROM_SUPERROLES(boolean b) Sets the rkg update rnd from superroles.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_USE_AD_IN_MODULE_EXTRACTION(boolean value) Sets the rkg use ad in module extraction.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_USE_DYNAMIC_BACKJUMPING(boolean b) Sets the rkg use dynamic backjumping.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_USE_FAIRNESS(boolean b) Sets the rkg use fairness.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_USE_SIMPLE_RULES(boolean b) Sets the rkg use simple rules.
JFactReasonerConfiguration	JFactReasonerConfiguration.setRKG_USE_SORTED_REASONING(boolean b) Sets the rkg use sorted reasoning.
JFactReasonerConfiguration	JFactReasonerConfiguration.setSplits(boolean splits) Sets the splits.
JFactReasonerConfiguration	JFactReasonerConfiguration.setTMP_PRINT_TAXONOMY_INFO(boolean b) Sets the tmp print taxonomy info.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUSE_BLOCKING_STATISTICS(boolean b) Sets the use blocking statistics.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUSE_REASONING_STATISTICS(boolean b) Sets the use reasoning statistics.
JFactReasonerConfiguration	JFactReasonerConfiguration.setuseAnywhereBlocking(boolean b) Sets the use anywhere blocking.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseAnywhereBlocking(boolean b) Sets the use anywhere blocking.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseAxiomSplitting(boolean useAxiomSplitting) Sets the use axiom splitting.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseELReasoner(boolean useELReasoner) Sets the use el reasoner.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseIncrementalReasoning(boolean useIncrementalReasoning) Sets the use incremental reasoning.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseLazyBlocking(boolean b) Sets the use lazy blocking.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseNodeCache(boolean val) set flag to use node cache to value VAL.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseSemanticBranching(boolean b) Sets the use semantic branching.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseSortedReasoning(boolean useSortedReasoning) Sets the use sorted reasoning.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseSpecialDomains(boolean b) Sets the use special domains.
JFactReasonerConfiguration	JFactReasonerConfiguration.setUseUndefinedNames(boolean useUndefinedNames) Sets the use undefined names.
JFactReasonerConfiguration	JFactReasonerConfiguration.setverboseOutput(boolean b) Sets the verbose output.

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

Constructor and Description
JFactReasonerConfiguration(JFactReasonerConfiguration source) Instantiates a new j fact reasoner configuration.

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
TModularizer(JFactReasonerConfiguration config, LocalityChecker c) init c'tor