Re: [gecode-users] Repeated branchings

2009-01-22 Thread Guido Tack
Malcolm Ryan wrote: > As I understand it, you can add multiple Branchings to a Space which > will each be used in turn until each is satisfied. Is that correct? > Are they applied in the order that they are added? If a Branching's > status() returns false, is it permanently removed from the Space,

[gecode-users] Repeated branchings

2009-01-22 Thread Malcolm Ryan
As I understand it, you can add multiple Branchings to a Space which will each be used in turn until each is satisfied. Is that correct? Are they applied in the order that they are added? If a Branching's status() returns false, is it permanently removed from the Space, or it is just dorman