public void executeTask(OptionalInferenceTask task, Runnable implementation) { displayed.executeTask(task, implementation); }
public int getAverageTimeInTask(OptionalInferenceTask task) { return displayed.getAverageTimeInTask(task); }
public int getAverageTimeInTask(OptionalInferenceTask task) { int count = getCallCount(task); if (count == 0) { return 0; } return getTimeInTask(task) / count; }
public void executeTask(OptionalInferenceTask task, Runnable implementation) { if (isShowInferences() && isEnabled(task)) { startClock(task); try { implementation.run(); } catch (UnsupportedOperationException ignore) { } finally { stopClock(task); } } } }
public void save(ReasonerPreferences p) { Preferences prefs = ReasonerPreferences.getPreferences(); prefs.putBoolean(SHOW_INFERENCES_KEY, showInferences); for (OptionalInferenceTask task : OptionalInferenceTask.values()) { prefs.putBoolean(task.getKey(), enabled.contains(task)); } registerPrecomputedInferenceTypes(p); }
public void load() { Preferences prefs = getPreferences(); displayed.load(this); precompute.load(prefs); defaultReasonerId = prefs.getString(DEFAULT_REASONER_ID, NoOpReasonerInfo.NULL_REASONER_ID); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }
public void setEnabled(OptionalInferenceTask task, boolean enabled) { displayed.setEnabled(task, enabled); fireChanged(); }
public boolean isEnabled(OptionalInferenceTask task) { return displayed.isEnabled(task); }
public int getTimeInTask(OptionalInferenceTask task) { return displayed.getTimeInTask(task); }
public boolean isShowInferences() { return displayed.isShowInferences(); }
public void executeTask(OptionalInferenceTask task, Runnable implementation) { if (isShowInferences() && isEnabled(task)) { startClock(task); try { implementation.run(); } finally { stopClock(task); } } } }
public void save(ReasonerPreferences p) { Preferences prefs = ReasonerPreferences.getPreferences(); prefs.putBoolean(SHOW_INFERENCES_KEY, showInferences); for (OptionalInferenceTask task : OptionalInferenceTask.values()) { prefs.putBoolean(task.getKey(), enabled.contains(task)); } registerPrecomputedInferenceTypes(p); }
public void load() { Preferences prefs = getPreferences(); displayed.load(this); precompute.load(prefs); defaultReasonerId = prefs.getString(DEFAULT_REASONER_ID, NoOpReasonerInfo.NULL_REASONER_ID); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }
public void setEnabled(OptionalInferenceTask task, boolean enabled) { displayed.setEnabled(task, enabled); fireChanged(); }
public boolean isEnabled(OptionalInferenceTask task) { return displayed.isEnabled(task); }
public int getTimeInTask(OptionalInferenceTask task) { return displayed.getTimeInTask(task); }
public boolean isShowInferences() { return displayed.isShowInferences(); }
public void executeTask(OptionalInferenceTask task, Runnable implementation) { if (isShowInferences() && isEnabled(task)) { startClock(task); try { implementation.run(); } catch (UnsupportedOperationException ignore) { } finally { stopClock(task); } } } }