[gecode-users] Problem extensional between BoolVars and IntVar

[Christian Schulte]

Dear Mohamed,

 

I only have an inefficient solution here: you can introduce IntVars y1 and
y2 and use the channel constraint:

                channel(home, x1, y1); channel(home, x2, y2);

and then you can use y1 and y2 together with x3 and x4 and the extensional
constraint.

 

Best

Christian

 

--

Christian Schulte, Professor of Computer Science, KTH,
www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mohamed Rezgui
Sent: Wednesday, October 09, 2013 10:53 AM
To: users at gecode.org
Subject: [gecode-users] Problem extensional between BoolVars and IntVar

 

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/4b699dd7/attachment.html>