[gecode-users] BExprs and IntConLevel

[Malcolm Ryan]

That's odd then. The following code would seem to contradict that:

        a = new IntVar(this, "a", 1, 4);
        b = new IntVar(this, "b", 1, 4);

        Gecode.post(this, new BExpr(a, IntRelType.IRT_EQ, b));
        Gecode.rel(this, a, IntRelType.IRT_NQ, 2);
        Gecode.rel(this, a, IntRelType.IRT_NQ, 4);

        status();
        System.out.println("a: " + a.toString());
        System.out.println("b: " + b.toString());

On my machine this prints:

a: {1,3}
b: [1..3]

Malcolm

On 21/04/2008, at 6:24 PM, Christian Schulte wrote:

> Nope, it uses the default consistency level and for this propagator  
> that
> would be domain consistency.
>
> Christian
>
> --
> Christian Schulte, www.ict.kth.se/~cschulte/
>
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On  
> Behalf
> Of Malcolm Ryan
> Sent: Monday, April 21, 2008 10:19 AM
> To: gecode list
> Subject: [gecode-users] BExprs and IntConLevel
>
> Am I right in thinking that:
>
> Gecode.post(space, BExpr(ivar1, IntRelType.IRT_EQ, ivar2));
>
> will only use bounds consistency between ivar1 and ivar2?
>
> Malcolm
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users