42 namespace Gecode {
namespace Int {
namespace Extensional {
49 template<
class View,
bool shared>
53 :
Base<View>(home,x,t) {
56 template<
class View,
bool shared>
61 for (
int i = x.
size();
i--; ) {
69 template<
class View,
bool shared>
72 :
Base<View>(home,share,p) {
75 template<
class View,
bool shared>
84 template<
class View,
bool shared>
90 template<
class View,
bool shared>
102 for (
int i = x.
size();
i--; )
103 has_support[
i].init(home, ts()->domsize);
112 for (
int i = x.
size();
i--; ) {
115 int val = vv.val() - ts()->min;
116 if (!has_support[i].
get(static_cast<unsigned int>(val))) {
118 Tuple l = find_support(dom, i, val);
126 for (
int j = i; j--; ) {
127 has_support[j].
set(static_cast<unsigned int>(l[j]- ts()->
min));
128 assert(has_support[j].
get(l[j] - ts()->
min));
139 for (
int i = x.
size();
i--; )