Uses of Class
com.clarkparsia.modularity.IncrementalReasonerConfiguration

Packages that use IncrementalReasonerConfiguration

Package	Description
com.clarkparsia.modularity

Uses of IncrementalReasonerConfiguration in com.clarkparsia.modularity

Methods in com.clarkparsia.modularity that return IncrementalReasonerConfiguration

Modifier and Type	Method and Description
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.buffering(boolean isBuffering)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.buffering(org.semanticweb.owlapi.reasoner.BufferingMode theBufferingMode)
static IncrementalReasonerConfiguration	IncrementalReasoner.config()
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.extractor(ModuleExtractor theModuleExtractor)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.file(File theSource)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.listenChanges(boolean isListenChanges)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.manager(org.semanticweb.owlapi.model.OWLOntologyManager theManager)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.multiThreaded(boolean multiThreaded) Sets the multi-threading option.
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.progressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor theProgressMonitor)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.reasoner(PelletReasoner theReasoner)
IncrementalReasonerConfiguration	IncrementalReasonerConfiguration.timeout(long theTimeout)

Constructors in com.clarkparsia.modularity with parameters of type IncrementalReasonerConfiguration

Constructor and Description
IncrementalReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, IncrementalReasonerConfiguration config)