setfirstbranch
setfirstbranch |
Purpose
This procedure enables the user to specify the first constraint of a disjunction to be activated; thus, it is possible to create dynamical heuristics for disjunctions.
Synopsis
procedure setfirstbranch(disj:cpctr, firstbranch:integer)
Arguments
disj
|
the involved constraint (only a disjunction)
|
firstbranch
|
0 to activate the first part and 1 else
|
Related topics