@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override protected void process(Context context) { localContextStatistics.countProcessedContexts++; super.process(context); }
@Override public boolean isInterrupted() { return ruleApplicationFactory_.isInterrupted(); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
@Override public void finish() { ruleAppFactory_.dispose(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
@Override protected void process(Context context) { localContextStatistics.countProcessedContexts++; super.process(context); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
@Override public void finish() { ruleAppFactory_.dispose(); }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
@Override protected void process(Context context) { localContextStatistics.countProcessedContexts++; super.process(context); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override public boolean isInterrupted() { return ruleApplicationFactory_.isInterrupted(); }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }