[gecode-users] question about posting of linear expressions

[Guido Tack]

Hi Kish,

Kish Shen wrote:
> 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?

No, it should work as you expected.  Could you give us a little more details of the actual code?

Cheers,
	Guido

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/