public boolean generalize(TracedVariables other, boolean clearConflictingOtherVariables) { boolean variablesChanged = super.generalize(other, clearConflictingOtherVariables); boolean producersChanged = producerVariables.generalize(other.producerVariables, clearConflictingOtherVariables); /* consumerVariables.generalize(other.consumerVariables)*/ // Clear any traces if a variable has become null. if (variablesChanged) { for (int index = 0; index < size; index++) { if (values[index] == null) { producerVariables.values[index] = null; if (clearConflictingOtherVariables) { other.producerVariables.values[index] = null; } } } } return variablesChanged || producersChanged; }
public boolean generalize(TracedVariables other, boolean clearConflictingOtherVariables) { boolean variablesChanged = super.generalize(other, clearConflictingOtherVariables); boolean producersChanged = producerVariables.generalize(other.producerVariables, clearConflictingOtherVariables); /* consumerVariables.generalize(other.consumerVariables)*/ // Clear any traces if a variable has become null. if (variablesChanged) { for (int index = 0; index < size; index++) { if (values[index] == null) { producerVariables.values[index] = null; if (clearConflictingOtherVariables) { other.producerVariables.values[index] = null; } } } } return variablesChanged || producersChanged; }
public boolean generalize(TracedVariables other, boolean clearConflictingOtherVariables) { boolean variablesChanged = super.generalize(other, clearConflictingOtherVariables); boolean producersChanged = producerVariables.generalize(other.producerVariables, clearConflictingOtherVariables); /* consumerVariables.generalize(other.consumerVariables)*/ // Clear any traces if a variable has become null. if (variablesChanged) { for (int index = 0; index < size; index++) { if (values[index] == null) { producerVariables.values[index] = null; if (clearConflictingOtherVariables) { other.producerVariables.values[index] = null; } } } } return variablesChanged || producersChanged; }
public boolean generalize(TracedVariables other, boolean clearConflictingOtherVariables) { boolean variablesChanged = super.generalize(other, clearConflictingOtherVariables); boolean producersChanged = producerVariables.generalize(other.producerVariables, clearConflictingOtherVariables); /* consumerVariables.generalize(other.consumerVariables)*/ // Clear any traces if a variable has become null. if (variablesChanged) { for (int index = 0; index < size; index++) { if (values[index] == null) { producerVariables.values[index] = null; if (clearConflictingOtherVariables) { other.producerVariables.values[index] = null; } } } } return variablesChanged || producersChanged; }