|
Card | _card ("Int::Card") |
|
Min | _min ("Int::Min") |
|
NotMin | _notmin ("Int::NotMin") |
|
Max | _max ("Int::Max") |
|
NotMax | _notmax ("Int::NotMax") |
|
Elem | _elem ("Int::Elem") |
|
NoElem | _noelem ("Int::NoElem") |
|
Rel | _rel_eq (Gecode::SRT_EQ, false) |
|
Rel | _rel_nq (Gecode::SRT_NQ, false) |
|
Rel | _rel_sub (Gecode::SRT_SUB, false) |
|
Rel | _rel_sup (Gecode::SRT_SUP, false) |
|
Rel | _rel_disj (Gecode::SRT_DISJ, false) |
|
Rel | _rel_cmpl (Gecode::SRT_CMPL, false) |
|
Rel | _rel_eqi (Gecode::SRT_EQ, true) |
|
Rel | _rel_nqi (Gecode::SRT_NQ, true) |
|
Rel | _rel_subi (Gecode::SRT_SUB, true) |
|
Rel | _rel_supi (Gecode::SRT_SUP, true) |
|
Rel | _rel_disji (Gecode::SRT_DISJ, true) |
|
Rel | _rel_cmpli (Gecode::SRT_CMPL, true) |
|
IntRel | _intrel_eq (Gecode::IRT_EQ, false) |
|
IntRel | _intrel_nq (Gecode::IRT_NQ, false) |
|
IntRel | _intrel_gr (Gecode::IRT_GR, false) |
|
IntRel | _intrel_gq (Gecode::IRT_GQ, false) |
|
IntRel | _intrel_le (Gecode::IRT_LE, false) |
|
IntRel | _intrel_lq (Gecode::IRT_LQ, false) |
|
IntRel | _intrel_eqi (Gecode::IRT_EQ, true) |
|
IntRel | _intrel_nqi (Gecode::IRT_NQ, true) |
|
IntRel | _intrel_gri (Gecode::IRT_GR, true) |
|
IntRel | _intrel_gqi (Gecode::IRT_GQ, true) |
|
IntRel | _intrel_lei (Gecode::IRT_LE, true) |
|
IntRel | _intrel_lqi (Gecode::IRT_LQ, true) |
|
const int | el1v [] = {-3,-2,-1,0,1,2,3} |
|
IntArgs | el1 (7, el1v) |
|
const int | w1v [] = {1,-2,1,1,1,6,1} |
|
IntArgs | w1 (7, w1v) |
|
Weights | _weights1 ("Int::Weights::1", el1, w1) |
|
const int | w2v [] = {-1,-1,-1,10,-1,-1,-1} |
|
IntArgs | w2 (7, w2v) |
|
Weights | _weights2 ("Int::Weights::2", el1, w2) |
|
Weights | _weights3 ("Int::Weights::3", el1, w2, 3) |
|
const int | w4v [] = {1,1,0,0,0,0,0} |
|
IntArgs | w4 (7, w4v) |
|
Weights | _weights4 ("Int::Weights::4", el1, w4) |
|
Tests for combined int/set constraints