42 namespace Test {
namespace Set {
58 int lubMin,
int lubMax,
59 unsigned int minCard = 0,
64 SetVar x(home, glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
77 glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
92 unsigned int minCard = 0,
97 SetVar x(home, glb, lubMin, lubMax, minCard, maxCard);
109 glb, lubMin, lubMax, minCard, maxCard);
124 unsigned int minCard = 0,
129 SetVar x(home, glbMin, glbMax, lub, minCard, maxCard);
141 glbMin, glbMax, lub, minCard, maxCard);
156 unsigned int minCard = 0,
161 SetVar x(home, glb, lub, minCard, maxCard);
173 glb, lub, minCard, maxCard);
191 con(home,
IntSet(1,1), 1,0);
192 con(home, 1,1,
IntSet(1,0));
196 con(home, 1,0, 1,1, 2,3);
197 con(home,
IntSet(1,0), 1,1, 2,3);
198 con(home, 1,0,
IntSet(1,1), 2,3);
202 con(home, 1,3, 1,4, 0,2);
203 con(home,
IntSet(1,3), 1,4, 0,2);
204 con(home, 1,3,
IntSet(1,4), 0,2);
209 con(home,
IntSet(1,3), 2,4);
210 con(home, 1,3,
IntSet(2,4));
213 con(home,
IntSet(1,4), 1,3);
214 con(home, 1,4,
IntSet(1,3));