@Override public boolean holds(final IndexedContextRoot root) { final Context context = saturationState_.getContext(root); return context == null || !context.isInitialized() || !context.isSaturated(); } };
@Override public boolean holds(final IndexedContextRoot root) { final Context context = saturationState_.getContext(root); return context == null || !context.isInitialized() || !context.isSaturated(); } };
@Override public boolean holds(final IndexedContextRoot root) { final Context context = saturationState_.getContext(root); return context == null || !context.isInitialized() || !context.isSaturated(); } };
@Override protected Boolean defaultVisit(ClassConclusion conclusion) { Context originContext = state_.getContext(conclusion.getTraceRoot()); if (originContext.isInitialized() && originContext.isSaturated()) { LOGGER_.error("{}: adding conclusion {} to saturated context {}", contextRef_, conclusion, get().containsConclusion(conclusion) ? "(it is already there)" : ""); } return true; }
@Override protected Boolean defaultVisit(ClassConclusion conclusion) { Context originContext = state_.getContext(conclusion.getTraceRoot()); if (originContext.isInitialized() && originContext.isSaturated()) { LOGGER_.error("{}: adding conclusion {} to saturated context {}", contextRef_, conclusion, get().containsConclusion(conclusion) ? "(it is already there)" : ""); } return true; }
@Override protected Boolean defaultVisit(ClassConclusion conclusion) { Context originContext = state_.getContext(conclusion.getTraceRoot()); if (originContext.isInitialized() && originContext.isSaturated()) { LOGGER_.error("{}: adding conclusion {} to saturated context {}", contextRef_, conclusion, get().containsConclusion(conclusion) ? "(it is already there)" : ""); } return true; }
if (context == null || !context.isInitialized() || !context.isSaturated()) {
if (context == null || !context.isInitialized() || !context.isSaturated()) {
if (context == null || !context.isInitialized() || !context.isSaturated()) {
if (context == null || !context.isInitialized() || !context.isSaturated()) {
if (context == null || !context.isInitialized() || !context.isSaturated()) {
if (context == null || !context.isInitialized() || !context.isSaturated()) {
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized() && !rootSaturation.isSaturated()) { LOGGER_.error("{}: context for a finished job not saturated!",
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized() && !rootSaturation.isSaturated()) { LOGGER_.error("{}: context for a finished job not saturated!",
IndexedContextRoot root = nextJob.getInput(); Context rootSaturation = saturationState_.getContext(root); if (rootSaturation.isInitialized() && !rootSaturation.isSaturated()) { LOGGER_.error("{}: context for a finished job not saturated!",
if (context != null && context.isInitialized() && context.isSaturated() && context.containsConclusion(conclusionFactory_
if (context != null && context.isInitialized() && context.isSaturated() && context.containsConclusion(conclusionFactory_
if (context != null && context.isInitialized() && context.isSaturated() && context.containsConclusion(conclusionFactory_