Please read about branchers, they are quite flexible in what they can do and you can always resort to programming themselves. All explained in MPG. C
From: users-***@gecode.org [mailto:users-***@gecode.org] On Behalf Of Hamza Bouchaour
Sent: Friday, September 15, 2017 16:44
To: ***@gecode.org
Subject: Re: [gecode-users] Domain constraint
Hi Christian,
My aim is to remove some values from a variable domains define as intvararray, that insatisfy some criteria in goal to accelerate the branching procedure. Can I do it with a constraint of gecode?
Télécharger Outlook pour Android<https://aka.ms/ghei36>
________________________________
From: Christian Schulte <***@kth.se<mailto:***@kth.se>>
Sent: Friday, September 15, 2017 12:34:10 PM
To: 'Hamza Bouchaour'; ***@gecode.org<mailto:***@gecode.org>
Subject: RE: [gecode-users] Domain constraint
I do not know what inconsistent values mean. Values removed by propagation are of course not considered during branching anyway. If you want to skip certain variables on top of that read about branch filter functions in MPG.
C
--
Christian Schulte, www.gecode.org/~schulte<http://www.gecode.org/~schulte>
Professor of Computer Science, KTH, ***@kth.se<mailto:***@kth.se>
Expert Researcher, RISE SICS, ***@ri.se<mailto:***@ri.se>
From: users-***@gecode.org<mailto:users-***@gecode.org> [mailto:users-***@gecode.org] On Behalf Of Hamza Bouchaour
Sent: Friday, September 15, 2017 12:23
To: ***@gecode.org<mailto:***@gecode.org>
Subject: [gecode-users] Domain constraint
Hello,
I would like to know if there is anyway in gecode to remove some inconsistent values from an IntVarArry (ex.M), before doing a branching on M.
Thank you.