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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] 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 [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
