Guido Tack wrote:
Is that a typo, or do you actually assign to reif twice? If you want to express vBool[b] <-> c, you should use post(*solver, tt(equiv(solver->vBool[b],c)));
I am testing other code, and they also seem to be going wrong -- is my assumption that I can use reif instead of solver->vBool[b] directly incorrect?
Being to use some alias for vBool[b] is quite important, because in general many of the arguments can be either an integer value or a variable (boolean or integer), and I don't want to write a post for every single possibility.
Cheers, Kish -- This e-mail may contain confidential and privileged material for the sole use of the intended recipient. Any review, use, distribution or disclosure by others is strictly prohibited. If you are not the intended recipient (or authorized to receive for the recipient), please contact the sender by reply e-mail and delete all copies of this message. Cisco Systems Limited (Company Number: 02558939), is registered in England and Wales with its registered office at 1 Callaghan Square, Cardiff, South Glamorgan CF10 5BT. _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
