40 namespace Gecode {
namespace Set {
namespace LDSB {
47 if (n != y.
lubSize())
return false;
48 for (
unsigned int i = 0 ;
i <
n ;
i++)
57 namespace Gecode {
namespace Int {
namespace LDSB {
108 unsigned int seqNum = posIt / seq_size;
109 unsigned int seqPos = posIt % seq_size;
110 for (
unsigned int seq = 0 ; seq < n_seqs ; seq++) {
114 if (x[getVal(seq, seqPos)].
assigned()) {
118 const unsigned int *firstSeq = &indices[seqNum*seq_size];
119 const unsigned int *secondSeq = &indices[seq*seq_size];
120 for (
unsigned int i = 0 ;
i < seq_size ;
i++) {
148 unsigned int seqNum = location.first;
149 unsigned int seqPos = location.second;
150 for (
unsigned int seq = 0 ; seq < n_seqs ; seq++) {
151 if (seq == seqNum)
continue;
152 if (dead_sequences.get(seq))
continue;