[gecode-users] question about posting of linear expressions

[Kish Shen]

Hi,

I have been modifying my code for the interface from ECLiPSe to gecode,
specifically the way expressions are handled. I have run into an 
apparent problem with reified boolean expressions. Up to this point, I 
have been posting these as a boolean relation, as follows:

tt(Bool <=> Expr)

where Expr is the boolean expression, and Bool is a boolean variable.

I have modified the code to post this as an expression instead, as follows:

Bool = post(home, Expr)

This does not seem to work, as Bool does not seem to be constrained to 
be the reified value of Expr. The documentation says 'post boolean 
expression and return its value' for the relevant post function, does 
'its value' means the truth value at the point of posting the expression 
(which is not known  in my case), rather than constraining it to the 
reified value of Expr as I thought?

[The actual code is a bit more complicated than the simplified versions 
I present here, but I think I have presented the essentials]

Thanks in advance for any information!

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.