[gecode-users] BExprs and IntConLevel

Malcolm Ryan malcolmr at cse.unsw.edu.au
Mon Apr 21 10:19:05 CEST 2008


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




More information about the gecode-users mailing list