branchobj.setpriority
branchobj.setpriority |
Purpose
Sets the priority value of a user branching object.
Synopsis
branchobj.setpriority(ipriority)
Argument
|
ipriority
|
The new priority value to assign to the branching object, which must be a number from 0 to 1000. User branching objects are created with a default priority value of 500.
|
Further information
1. A candidate branching object with lowest priority number will always be selected for branching before an object with a higher number.
2. Priority values must be an integer from 0 to 1000. User branching objects and global entities are by default assigned a priority value of 500. Special branching objects, such as those arising from structural branches or split disjunctions are assigned a priority value of 400.