[gecode-users] Domain constraint

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Hamza Bouchaour
Sent: Friday, September 15, 2017 16:44
To: users at 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 <cschulte at kth.se<mailto:cschulte at kth.se>>
Sent: Friday, September 15, 2017 12:34:10 PM
To: 'Hamza Bouchaour'; users at gecode.org<mailto:users at 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, cschulte at kth.se<mailto:cschulte at kth.se>
Expert Researcher, RISE SICS, christian.schulte at ri.se<mailto:christian.schulte at ri.se>

From: users-bounces at gecode.org<mailto:users-bounces at gecode.org> [mailto:users-bounces at gecode.org] On Behalf Of Hamza Bouchaour
Sent: Friday, September 15, 2017 12:23
To: users at gecode.org<mailto:users at 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170915/d6880a1e/attachment-0001.html>