@Override public void finish() { ruleAppFactory_.dispose(); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
@Override public boolean isInterrupted() { return ruleApplicationFactory_.isInterrupted(); }
/** * Creates a new {@link ClassExpressionSaturationFactory} using the given * {@link RuleApplicationFactory}for applying the rules, the maximal number * of workers that can apply the rules concurrently, and * {@link ClassExpressionSaturationListener} for reporting finished * saturation jobs. * * saturation state, listener for callback functions, and threshold for the * number of unprocessed contexts. * * @param ruleAppFactory * specifies how the rules are applied to new * {@link ClassConclusion}s * @param maxWorkers * the maximum number of workers that can use this factory * @param listener * the listener object implementing callback functions */ public ClassExpressionSaturationFactory( RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, int maxWorkers, ClassExpressionSaturationListener<J> listener) { this.threshold_ = 64 + 32 * maxWorkers; this.listener_ = listener; this.jobsToDo_ = new ConcurrentLinkedQueue<J>(); this.jobsInProgress_ = new ConcurrentLinkedQueue<J>(); this.ruleApplicationFactory_ = ruleAppFactory; this.saturationState_ = ruleAppFactory.getSaturationState(); this.aggregatedStats_ = new ThisStatistics(); }
@Override public boolean isInterrupted() { return ruleApplicationFactory_.isInterrupted(); }
/** * Creates a new {@link ClassExpressionSaturationFactory} using the given * {@link RuleApplicationFactory}for applying the rules, the maximal number * of workers that can apply the rules concurrently, and * {@link ClassExpressionSaturationListener} for reporting finished * saturation jobs. * * saturation state, listener for callback functions, and threshold for the * number of unprocessed contexts. * * @param ruleAppFactory * specifies how the rules are applied to new * {@link ClassConclusion}s * @param maxWorkers * the maximum number of workers that can use this factory * @param listener * the listener object implementing callback functions */ public ClassExpressionSaturationFactory( RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, int maxWorkers, ClassExpressionSaturationListener<J> listener) { this.threshold_ = 64 + 32 * maxWorkers; this.listener_ = listener; this.jobsToDo_ = new ConcurrentLinkedQueue<J>(); this.jobsInProgress_ = new ConcurrentLinkedQueue<J>(); this.ruleApplicationFactory_ = ruleAppFactory; this.saturationState_ = ruleAppFactory.getSaturationState(); this.aggregatedStats_ = new ThisStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
@Override public void finish() { ruleAppFactory_.dispose(); }
/** * Creates a new {@link ClassExpressionSaturationFactory} using the given * {@link RuleApplicationFactory}for applying the rules, the maximal number * of workers that can apply the rules concurrently, and * {@link ClassExpressionSaturationListener} for reporting finished * saturation jobs. * * saturation state, listener for callback functions, and threshold for the * number of unprocessed contexts. * * @param ruleAppFactory * specifies how the rules are applied to new * {@link ClassConclusion}s * @param maxWorkers * the maximum number of workers that can use this factory * @param listener * the listener object implementing callback functions */ public ClassExpressionSaturationFactory( RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, int maxWorkers, ClassExpressionSaturationListener<J> listener) { this.threshold_ = 64 + 32 * maxWorkers; this.listener_ = listener; this.jobsToDo_ = new ConcurrentLinkedQueue<J>(); this.jobsInProgress_ = new ConcurrentLinkedQueue<J>(); this.ruleApplicationFactory_ = ruleAppFactory; this.saturationState_ = ruleAppFactory.getSaturationState(); this.aggregatedStats_ = new ThisStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleApplicationFactory_.getSaturationStatistics(); }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
private Engine(ContextModificationListener listener) { engine_ = ruleAppFactory_.getEngine( ContextCreationListener.DUMMY, listener); }
@Override public void finish() { ruleAppFactory_.dispose(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleAppFactory_.getSaturationStatistics(); }
@Override public boolean isInterrupted() { return ruleAppFactory_.isInterrupted(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return ruleAppFactory_.getSaturationStatistics(); }
@Override public boolean isInterrupted() { return ruleApplicationFactory_.isInterrupted(); }