Back to SYMPHONY Home Page

Cut Pool Parameters

CP_verbosity - integer (0).

Verbosity of the cut pool process.

cp_logging - boolean (0).

Determines whether the logging option is enabled. In this case, the entire contents of the cut pool are written out periodically to disk (at the same interval as the tree manager log files are written). If this option is set, then the line following must start with the keyword cp_log_file_name and include the appropriate file name as the value.

cp_warm_start - boolean (0).

Used to allow the cut pool to make a warm start by reading in a previously written log file. If this option is set, then the line following must start with the keyword cp_warm_start_file_name and include the appropriate file name as the value.

block_size - integer (5000).

Indicates the size of the blocks to allocate when more space is needed in the cut list.

max_size - integer (1000000).

Indicates the maximum size of the cut pool in bytes. This is the total memory taken up by the cut list, including all data structures and the array of pointers itself.

max_number_of_cuts - integer (10000).

Indicates the maximum number of cuts allowed to be stored. When this max is reached, cuts are forceably purged, starting with duplicates and then with those having a high number of touches, until the list is below the allowable size.

min_to_delete - integer (100).

Indicates the number of cuts required to be deleted when the pool reaches it's maximum size.

touches_until_deletion - integer (10).

Indicates the number of touches a cut can have before being deleted from the pool. The number of touches is the number of times in a row that a cut has been checked without being found to be violated. It is a measure of a cut's relevance or effectiveness.

delete_which - integer (DELETE_DUPLICATE_AND_INEFFECTIVE{2}).

Indicates which cuts to delete when purging the pool--duplicates or duplicates plus those whose number of touches is too high. The only other option is DELETE_DUPLICATES{1}.

check_which - integer (CHECK_LEVEL_AND_TOUCHES{3}).

Indicates which cuts should be checked for violation. The choices are to check all cuts (CHECK_ALL_CUTS{0}); only those that have number of touches below the threshold (CHECK_TOUCHES{2}); only those that were generated at a level higher in the tree than the current one (CHECK_LEVEL{1}); or both ( CHECK_LEVEL_AND_TOUCHES{3}).