| /dports/math/gecode/gecode-0916a1a/test/set/ |
| H A D | dom.cpp | 140 case SRT_DISJ: in solution()
234 case SRT_DISJ: in solution()
328 case SRT_DISJ: in solution()
424 case SRT_DISJ: in solution()
491 DomRange _domrange_disj1(SRT_DISJ,1);
501 DomRange _domrange_disj2(SRT_DISJ,2);
512 DomIntRange _domintrange_disj1(SRT_DISJ,1);
533 DomInt _domint_disj1(SRT_DISJ,1);
543 DomInt _domint_disj2(SRT_DISJ,2);
554 DomDom _domdom_disj1(SRT_DISJ,1);
[all …]
|
| H A D | rel.cpp | 99 case SRT_DISJ: in solution()
166 RelBin _relbin_disj(Gecode::SRT_DISJ,false);
176 RelBin _relbin_shared_disj(Gecode::SRT_DISJ,true);
|
| H A D | int.cpp | 213 Gecode::rel(home, x[0], SRT_DISJ, y[0]); in post()
249 case SRT_DISJ: in solution()
284 Rel _rel_disj(Gecode::SRT_DISJ,false);
290 Rel _rel_disjs(Gecode::SRT_DISJ,true);
|
| H A D | rel-op-const.cpp | 71 case SRT_DISJ: in sol()
167 case SRT_DISJ: in sol()
256 case SRT_DISJ: in sol()
|
| H A D | mm-set.cpp | 145 case Gecode::SRT_DISJ: return ret+c != 2; in solution()
167 case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break; in post()
190 case Gecode::SRT_DISJ: irel = (e || res); break; in post()
242 case Gecode::SRT_DISJ: return ret0+ret1 != 2; in solution()
274 case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break; in post()
306 case Gecode::SRT_DISJ: srel = (e0 || e1); break; in post()
4513 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,0); in Create()
4514 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,1); in Create()
4531 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_DISJ); in Create()
|
| H A D | rel-op.cpp | 67 case SRT_DISJ: in sol()
|
| /dports/math/gecode/gecode-0916a1a/test/ |
| H A D | set.hpp | 56 case Gecode::SRT_DISJ: return "Disj"; in str()
|
| H A D | set.cpp | 214 case Gecode::SRT_DISJ: olog << "||"; break; in rel()
294 rel(i, Gecode::SRT_DISJ, Gecode::IntSet(diffV.val(), diffV.val())); in removeFromLub()
308 rel(i, Gecode::SRT_DISJ, Gecode::IntSet(diffV.val(), diffV.val())); in removeFromLub()
309 c.rel(i, Gecode::SRT_DISJ, Gecode::IntSet(diffV.val(), diffV.val())); in removeFromLub()
1195 Gecode::SRT_SUP,Gecode::SRT_DISJ,Gecode::SRT_CMPL};
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/ |
| H A D | rel.cpp | 62 case SRT_DISJ: in rel_post()
130 case SRT_DISJ: in rel_re()
|
| H A D | rel-op-const-vcc.cpp | 127 case SRT_DISJ: in rel()
|
| H A D | rel-op-const-vcv.cpp | 126 case SRT_DISJ: in rel()
|
| H A D | dom.cpp | 125 case SRT_DISJ: in dom()
254 case SRT_DISJ: in dom()
559 case SRT_DISJ: in dom()
|
| /dports/math/gecode/gecode-0916a1a/gecode/minimodel/ |
| H A D | set-rel.cpp | 72 return SetRel(e0, SRT_DISJ, e1); in operator ||()
|
| H A D | set-expr.cpp | 358 case SRT_DISJ: in post()
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/rel-op/ |
| H A D | post.hpp | 217 case SRT_DISJ: in rel_op_post_nocompl()
|
| /dports/math/gecode/gecode-0916a1a/gecode/ |
| H A D | set.hh | 648 SRT_DISJ, ///< Disjoint (\f$\parallel\f$) enumerator
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/ |
| H A D | gecode_constraints.cpp | 1779 rel(*gi.currentSpace, gi.arg2setvar(ce->arg(0)), SRT_DISJ, gi.arg2setvar(ce->arg(1))); in p_set_disjoint()
1826 dom(*gi.currentSpace, selector, SRT_DISJ, 0); in p_array_set_element_op()
|
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | registry.cpp | 1907 rel(s, s.arg2SetVar(ce[0]), SRT_DISJ, s.arg2SetVar(ce[1])); in p_set_disjoint()
1955 dom(s, selector, SRT_DISJ, 0); in p_array_set_element_op()
|