[gecode-users] Skipping branching alternatives?

[Luis Quesada]

I don't understand why you need to do this... To me, eliminating 
branching alternatives is the very purpose of propagators. Why don't you 
implement a propagator that removes the alternatives you want to skip? 
As you build the branches at each branching step based on the current 
domains of the variables, you wont try the alternatives that you want to 
skip.

Luis

Martin Mann wrote:

> Hi again,
>
> I ve got a question about Branching..
>
> I implemented my own Branching inclusive a branching descriptor that 
> supports more than 2 alternatives.
>
> During my branching sometimes I would like to skip the remaining 
> alternatives.
> So my question:
>
> 1) is it ok just to return ES_FAIL from MyBranching::commit(..) to 
> skip the corresponding branch? or will it lead to some strange behavior?
>
> 2) is there a possibility for directly skipping the remaining 
> alternatives without implementing the whole search engine? I would 
> like to use DFS as it is.. ;)
>
> thanks lot and have a nice weekend
>
> Martin
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users



-- 
Luis QUESADA
Catholic University of Louvain 
Department of Computing Science and Engineering 
Place Sainte Barbe, 2 
B-1348 Louvain-la-Neuve, Belgium 
Phone:	(++32) (10) 47 90 13 
Fax: 	(++32) (10) 45 03 45 
Web: 	http://www.info.ucl.ac.be/~luque