setpriority

Purpose

Sets the priority of a constraint passed in argument

Synopsis

procedure setpriority(ctr:cpctr, priority:integer)

Arguments

ctr	the constraint (disjunction only)
priority	a user-defined integer (the higher it will be, the quicker the disjunction will be activated)

Example

The following example shows how to set the priority of a constraint:

setpriority((x + y = 3) or (x + y = 1),2)