getpriority
getpriority |
Purpose
Returns the priority of a disjunction passed in argument; this feature is intended for advanced use in dynamically prioritizing the disjunction for solving (highest priority constraints are handled first)
Synopsis
function getpriority(ctr:cpctr) : integer
Argument
|
ctr
|
The constraint to explore (disjunction only)
|
Return value
The associated priority
Example
The following example shows how to get the priority of a constraint
getpriority((x + y = 3) or (x + y = 1))
Related topics