public void setConfigurationOptions(ReasonerConfiguration config) { this.config_ = config; reasoner_.setConfigurationOptions(config); }
public void setConfigurationOptions(ReasonerConfiguration config) { this.config_ = config; reasoner_.setConfigurationOptions(config); }
public void setConfigurationOptions(ReasonerConfiguration config) { this.config_ = config; reasoner_.setConfigurationOptions(config); }
/** * Constructor. In most cases, Reasoners should be created by the * {@link ReasonerFactory}. */ protected Reasoner(ElkObject.Factory elkFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { super(elkFactory, config); this.stageExecutor_ = stageExecutor; this.interrupter_ = interrupter; this.progressMonitor = new DummyProgressMonitor(); this.allowFreshEntities = true; setConfigurationOptions(config); LOGGER_.info("ELK reasoner was created"); }
/** * Constructor. In most cases, Reasoners should be created by the * {@link ReasonerFactory}. */ protected Reasoner(ElkObject.Factory elkFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { super(elkFactory, config); this.stageExecutor_ = stageExecutor; this.interrupter_ = interrupter; this.progressMonitor = new DummyProgressMonitor(); this.allowFreshEntities = true; setConfigurationOptions(config); LOGGER_.info("ELK reasoner was created"); }
/** * Constructor. In most cases, Reasoners should be created by the * {@link ReasonerFactory}. */ protected Reasoner(ElkObject.Factory elkFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { super(elkFactory, config); this.stageExecutor_ = stageExecutor; this.interrupter_ = interrupter; this.progressMonitor = new DummyProgressMonitor(); this.allowFreshEntities = true; setConfigurationOptions(config); LOGGER_.info("ELK reasoner was created"); }