[gecode-users] Problem extensional between BoolVars and IntVar

[Mohamed Rezgui]

Dear Sir,

I would like to know how can I use Gecode with extensional between BoolVar
and IntVar

I show you my problem :
I have boolvars :  x1 x2
and intvars x3 x4

I have some valid tuples :
0 1 3 4
0 0 6 6
1 1 7 3

How can I use constraint Gecode::extensional to use BoolVar and IntVar
together ?
This is not the case with Gecode 4.2.0

Maybe do I use a clause constraint to express the constraint extensional
for BooVar and the constraint extensional for IntVar ?

-- 
Best Regards,
Mohamed REZGUI
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20131009/84889cdb/attachment.html>