[gecode-users] question about posting of linear expressions

[Kish Shen]

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.