Tests for relation constraints More...
Classes | |
class | ITE |
Test for if-then-else-constraint More... | |
class | RelBin |
Test for binary set relation constraint More... |
Variables | |
RelBin | _relbin_eq (Gecode::SRT_EQ, false) |
RelBin | _relbin_lq (Gecode::SRT_LQ, false) |
RelBin | _relbin_le (Gecode::SRT_LE, false) |
RelBin | _relbin_gq (Gecode::SRT_GQ, false) |
RelBin | _relbin_gr (Gecode::SRT_GR, false) |
RelBin | _relbin_nq (Gecode::SRT_NQ, false) |
RelBin | _relbin_sub (Gecode::SRT_SUB, false) |
RelBin | _relbin_sup (Gecode::SRT_SUP, false) |
RelBin | _relbin_disj (Gecode::SRT_DISJ, false) |
RelBin | _relbin_cmpl (Gecode::SRT_CMPL, false) |
RelBin | _relbin_shared_eq (Gecode::SRT_EQ, true) |
RelBin | _relbin_shared_lq (Gecode::SRT_LQ, true) |
RelBin | _relbin_shared_le (Gecode::SRT_LE, true) |
RelBin | _relbin_shared_gq (Gecode::SRT_GQ, true) |
RelBin | _relbin_shared_gr (Gecode::SRT_GR, true) |
RelBin | _relbin_shared_nq (Gecode::SRT_NQ, true) |
RelBin | _relbin_shared_sub (Gecode::SRT_SUB, true) |
RelBin | _relbin_shared_sup (Gecode::SRT_SUP, true) |
RelBin | _relbin_shared_disj (Gecode::SRT_DISJ, true) |
RelBin | _relbin_shared_cmpl (Gecode::SRT_CMPL, true) |
ITE | _ite |
Tests for relation constraints
RelBin Test::Set::Rel::_relbin_eq(Gecode::SRT_EQ, false) | ( | Gecode::SRT_EQ | , |
false | ) |
RelBin Test::Set::Rel::_relbin_lq(Gecode::SRT_LQ, false) | ( | Gecode::SRT_LQ | , |
false | ) |
RelBin Test::Set::Rel::_relbin_le(Gecode::SRT_LE, false) | ( | Gecode::SRT_LE | , |
false | ) |
RelBin Test::Set::Rel::_relbin_gq(Gecode::SRT_GQ, false) | ( | Gecode::SRT_GQ | , |
false | ) |
RelBin Test::Set::Rel::_relbin_gr(Gecode::SRT_GR, false) | ( | Gecode::SRT_GR | , |
false | ) |
RelBin Test::Set::Rel::_relbin_nq(Gecode::SRT_NQ, false) | ( | Gecode::SRT_NQ | , |
false | ) |
RelBin Test::Set::Rel::_relbin_sub(Gecode::SRT_SUB, false) | ( | Gecode::SRT_SUB | , |
false | ) |
RelBin Test::Set::Rel::_relbin_sup(Gecode::SRT_SUP, false) | ( | Gecode::SRT_SUP | , |
false | ) |
RelBin Test::Set::Rel::_relbin_disj(Gecode::SRT_DISJ, false) | ( | Gecode::SRT_DISJ | , |
false | ) |
RelBin Test::Set::Rel::_relbin_cmpl(Gecode::SRT_CMPL, false) | ( | Gecode::SRT_CMPL | , |
false | ) |
RelBin Test::Set::Rel::_relbin_shared_eq(Gecode::SRT_EQ, true) | ( | Gecode::SRT_EQ | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_lq(Gecode::SRT_LQ, true) | ( | Gecode::SRT_LQ | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_le(Gecode::SRT_LE, true) | ( | Gecode::SRT_LE | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_gq(Gecode::SRT_GQ, true) | ( | Gecode::SRT_GQ | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_gr(Gecode::SRT_GR, true) | ( | Gecode::SRT_GR | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_nq(Gecode::SRT_NQ, true) | ( | Gecode::SRT_NQ | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_sub(Gecode::SRT_SUB, true) | ( | Gecode::SRT_SUB | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_sup(Gecode::SRT_SUP, true) | ( | Gecode::SRT_SUP | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_disj(Gecode::SRT_DISJ, true) | ( | Gecode::SRT_DISJ | , |
true | ) |
RelBin Test::Set::Rel::_relbin_shared_cmpl(Gecode::SRT_CMPL, true) | ( | Gecode::SRT_CMPL | , |
true | ) |