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
 
 
