[gecode-users] Reification of the extensional constraint

[Christian Schulte]

Hi,

 

Please look to the constraint post function of any other propagator, there
you will see how to create a corresponding view array. Or check MPG.

 

Cheers

Christian

 

--

Christian Schulte, KTH, web.it.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Amina Kemmar
Sent: Monday, June 23, 2014 10:34 AM
To: users at gecode.org
Subject: [gecode-users] Reification of the extensional constraint

 

Hi all,

I want to implement a half reification for the constraint Extensional, so to
propagate the constraint when b=1, I must call the method
Gecode::Int::Extensional::post_lgp(home,x,dfa), such that x is of type
VarArgArray<IntVar>, the propagate function handles on views
(ViewArray<IntView>), how can I update x, in order to be filtered by the
function  Gecode::Int::Extensional::post_lgp?

Thanks.
---
Amina Kemmar.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140623/3ba3bf82/attachment.html>