41 namespace Gecode {
namespace Int {
namespace LDSB {
48 if (indices.valid(
l._variable) && indices.get(
l._variable)) {
67 if (indices.valid(
l._variable) && indices.get(
l._variable)) {
94 lits[j++] =
Literal(
l._variable,
i.val());
113 lits[j++] =
Literal(
l._variable,
i.val());
127 std::pair<int,int> location =
findVar(
values, n_values, seq_size,
l._value);
129 unsigned int seqNum = location.first;
130 unsigned int seqPos = location.second;
131 if (! dead_sequences.get(seqNum)) {
132 for (
unsigned int seq = 0 ; seq < n_seqs ; seq++) {
133 if (seq == seqNum)
continue;
134 if (dead_sequences.get(seq))
continue;
147 std::pair<int,int> location =
findVar(
values, n_values, seq_size,
l._value);
149 unsigned int seqNum = location.first;
150 unsigned int seqPos = location.second;
151 if (! dead_sequences.get(seqNum)) {
152 for (
unsigned int seq = 0 ; seq < n_seqs ; seq++) {
153 if (seq == seqNum)
continue;
154 if (dead_sequences.get(seq))
continue;