Back to SYMPHONY Home Page

user_purge_waiting_rows

int user_purge_waiting_rows(void *user, int rownum,
                            waiting_row **rows, char *delete)

Description:

The local pool is purged from time to time to control its size. In this function the user has the power to decide which cuts to purge from this pool if desired. To mark the i waiting row (an element of the pre-pool) for removal she has to set delete[i] to be TRUE (delete is allocated before the function is called and its elements are set to FALSE by default).

Post-processing consists of actually deleting those entries from the waiting row list and compressing the list. The default is to discard the least violated waiting rows and keep no more than what can be added in the next iteration (this is determined by the max_cut_num_per_iter parameter).

Arguments:

Return values:

Post-processing:

Delete the appropriate rows.

Wrapper invoked from:

receive_cuts() after cuts have been added.

%