Guido Tack wrote:
reif = solver->vBool[b];
...
reif = post(*solver, c);
...
Hi Guido,
Thanks for pointing this out. After some trial and error, I think I have
now know how to work around the problem. The issue appears to be reif is
on the left hand side of =, and should be a new (uninitialised) BoolVar
- not an existing initialised BoolVar like what I was doing.
After the assignment, reif can then be linked to an existing BoolVar
like solver->vBool[b], or an integer value (0 or 1).
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
