42 namespace Test {
namespace Int {
57 :
Test(
"Unshare::Int::"+
str(icl),9,-1,1,false,icl) {}
60 return ((x[0] == x[3]) &&
61 (x[1] == x[4]) && (x[1] == x[6]) &&
62 (x[2] == x[5]) && (x[2] == x[7]) && (x[2] == x[8]));
66 using namespace Gecode;
68 y[0]=x[0]; y[1]=y[3]=x[1]; y[2]=y[4]=y[5]=x[2];
70 for (
int i=0;
i<6;
i++)
80 :
Test(
"Unshare::Bool",9,0,1,false) {}
83 return ((x[0] == x[3]) &&
84 (x[1] == x[4]) && (x[1] == x[6]) &&
85 (x[2] == x[5]) && (x[2] == x[7]) && (x[2] == x[8]));
89 using namespace Gecode;
93 y[2]=y[4]=y[5]=
channel(home,x[2]);
95 for (
int i=0;
i<6;
i++)