[gecode-users] BExprs and IntConLevel

[Christian Schulte]

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