Ok, I see.
Thank you for looking into the problem,
Zoli
On 2008.08.25., at 21:48, Guido Tack wrote:
> Ujhelyi Zoltan wrote:
>> I tested the new Gecode/J 2.2.0. I am very grateful for your work,
>> but it did not work for me as I expected. I modified the
>> constraints as you showed, but it d
Ujhelyi Zoltan wrote:
> I tested the new Gecode/J 2.2.0. I am very grateful for your work,
> but it did not work for me as I expected. I modified the constraints
> as you showed, but it did not prove the required equality.
I had another look, and unfortunately, we cannot provide stronger
pru
Hello,
I tested the new Gecode/J 2.2.0. I am very grateful for your work, but
it did not work for me as I expected. I modified the constraints as
you showed, but it did not prove the required equality.
I copied your code into my sample program to test, but it did not help.
I got the follow
Hello!
Thank you very much, it is exactly what I needed.
Thank you for your help again.
Zoltán Ujhelyi
On 2008.08.23., at 8:56, Guido Tack wrote:
> Hi!
>
> Please let me know if this is more or less what you wanted to use:
>
> BExpr be = new BExpr(new Expr(new
> Expr(space.var2).minus(space.v
Hi!
Please let me know if this is more or less what you wanted to use:
BExpr be = new BExpr(new Expr(new Expr(space.var2).minus(space.var1)),
IRT_EQ, 0, ICL_DOM);
The ICL argument is now part of the BExpr, so it means that the linear
constraint inside is propagated with ICL_DOM. I hope that
Ujhelyi Zoltan wrote:
> I understand the problem stated here, but I would like to ask whether
> there is a solution to add a constraint like that to a Boolean
> Expression with the domain consistent propagation (ICL_DOM).
>
> I did not found any possibilities for that looking in the Gecode/J
> API,
Hello,
thank you for your reply.
I understand the problem stated here, but I would like to ask whether
there is a solution to add a constraint like that to a Boolean
Expression with the domain consistent propagation (ICL_DOM).
I did not found any possibilities for that looking in the Gecode/
Hi.
As you've already found out, you have to use domain consistent
propagation (ICL_DOM) to get the result you want. You should be able
to use post(space, new Expr(space.variable1), IRT_EQ, new
Expr(space.variable2), ICL_DOM) to get the desired result. I'm not
100% sure, but I think your
Hello again,
I have been experimenting with the questions raised in my previous mail.
I created a small Gecode space to be able to test the problem in a
smaller scale, where I did use two variables (variable1, variable2,
both IntVars with the domain {0,5}) and three constraints: variable1
e
Hello all,
we are currently trying to build a static checker system on top of
Gecode/J 2.1.1. (in an Eclipse environment), and we have found an
interesting case.
In order to allow us greater flexibility we try to use the Expression
API (it allows us to build constraints in a hierarchical ma
10 matches
Mail list logo
