puter Science, KTH,
www.ict.kth.se/~cschulte/
-Original Message-
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Kish Shen
Sent: Tuesday, July 09, 2013 7:09 PM
To: users@gecode.org
Subject: Re: [gecode-users] Using AFC in Gecode 4
Hi Christian,
Thanks for your help
Hi,
Some clarification/correction to my last post:
On 09/07/2013 18:08, Kish Shen wrote:
This probably reflects my unfamiliarity with C++, but I did look at the
reference documentation for IntVar, and found that afc() was not there,
I looked in Gecode::IntVar Class Reference
GecodeSpace*
Hi Christian,
Thanks for your help!
On 09/07/2013 14:59, Christian Schulte wrote:
The afc() member function now requires a space argument, see:
http://www.gecode.org/doc-latest/reference/classGecode_1_1IntVar-members.htm
l
Thanks. I have added this, and it now compiles.
This probab
, July 09, 2013 3:59 AM
To: users@gecode.org
Subject: [gecode-users] Using AFC in Gecode 4
Hi,
I have just started looking at upgrading the ECLiPSe Gecode interface to
Gecode 4 (it currently supports Gecode 3.7), and I have run into a
problem with AFC, which I am not sure how to deal with, so I
Hi,
I probably posted my last message too quickly. I suspect I might not
have given enough background for what I mean by 'doing search in ECLiPSe'.
ECLiPSe use 'events' to record any changes to the Gecode state -- adding
variables, adding propagators, setting a variable to a value, removing a
Hi,
I have just started looking at upgrading the ECLiPSe Gecode interface to
Gecode 4 (it currently supports Gecode 3.7), and I have run into a
problem with AFC, which I am not sure how to deal with, so I would be
very grateful if someone can give me some suggestion on how to deal with
this.
