public synchronized void setConfigurationOptions ( ReasonerConfiguration config ) { this . workerNo_ = config . getParameterAsInt ( ReasonerConfiguration . NUM_OF_WORKING_THREADS ) ; setAllowIncrementalMode ( config . getParameterAsBoolean ( ReasonerConfiguration . INCREMENTAL_MODE_ALLOWED ) ) ; }
This supposed to be the central place where the reasoner gets its configuration options