Re: [gecode-users] Help to express a constraint

2014-06-05 Thread Christian Schulte
: Wednesday, June 04, 2014 8:12 PM To: users@gecode.org Subject: Re: [gecode-users] Help to express a constraint Sorry for the wrong form i've provided. Here is an example of what i wanted to express : 1) Given the fact that Status and Succ are matrix interfaces of two IntVarArray and t,

Re: [gecode-users] Help to express a constraint

2014-06-04 Thread Philippe
Sorry for the wrong form i've provided. Here is an example of what i wanted to express : 1) Given the fact that Status and Succ are matrix interfaces of two IntVarArray and t, m are integers, the expression : expr(*this, Status(Succ(t,m), m) != 3); // don't compile is more "elegant" th

Re: [gecode-users] Help to express a constraint

2014-06-04 Thread Christian Schulte
- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Philippe Sent: Tuesday, June 03, 2014 9:48 PM To: users@gecode.org Subject: Re: [gecode-users] Help to express a constraint Hi Chirstian, Yes i definitively need a training/formation (I have asked for) and be sure that the

Re: [gecode-users] Help to express a constraint

2014-06-03 Thread Philippe
Hi Chirstian, Yes i definitively need a training/formation (I have asked for) and be sure that the gecode manual is my bedside book (by the way, i suspect a mistake in figures 4.5/4.6 pages 72/73, for me, the initial domain of variable x0 is {1,2} not {1,2,3}). 1) Nevertheless, the difference be

Re: [gecode-users] Help to express a constraint

2014-06-03 Thread Christian Schulte
...@gecode.org] On Behalf Of Philippe Sent: Monday, June 02, 2014 10:35 PM To: users@gecode.org Subject: Re: [gecode-users] Help to express a constraint Hello Christian, Thanks for your answer. 1) I realized during the WE that i don't really understand the difference between an "rel&qu

Re: [gecode-users] Help to express a constraint

2014-06-02 Thread Philippe
Hello Christian, Thanks for your answer. 1) I realized during the WE that i don't really understand the difference between an "rel" and a "expr" (not from a pure C++ point of view). 2) The example that i have provided point on some confusion : I have written status(t,m) which is correct but sta

Re: [gecode-users] Help to express a constraint

2014-06-01 Thread Christian Schulte
Hmm, why not just write a bunch of reified constraints? Did you try that? You basically have an implication something like tihsfollows: rel(*this, (status(t,m) != 3) && (status(succ(t,m)) != 3) >> (time(succ(t,m),m)) ? 10)); I have to admit that I do not know what "increase by 10" means.