Sets branch priorities for an array of variables.
Sets branch priorities for an array of variables.
public virtual void SetPriorities(INumVar[],int[]);
Sets branch priorities for num
consecutive variables, starting from the index specified by start
.
public virtual void SetPriorities(INumVar[],int[],int,int);