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-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Mohamed Rezgui
Sent: Wednesday, October 09, 2013 10:53 AM
To: users@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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
