: 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,
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
-
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
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
...@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
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
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.