/dports/math/gecode/gecode-0916a1a/gecode/set/ |
H A D | rel-op.hh | 60 template<class View0, class View1, class View2> 74 SuperOfInter(Home home, View0, View1, View2); 90 template<class View0, class View1, class View2> 104 SubOfUnion(Home home, View0, View1, View2); 121 template<class View0, class View1, class View2> 135 Intersection(Home home,View0,View1,View2); 165 Union(Home home, View0, View1, View2); 181 template<class View0, class View1> 217 template<class View0, class View1> 230 UnionN(Home home,ViewArray<View0>&,View1); [all …]
|
H A D | rel.hh | 63 template<class View0, class View1> 72 Subset(Home home, View0 x0, View1 x1); 89 template<class View0, class View1> 118 View0 x0; 149 template<class View0, class View1> 157 Eq(Home home, View0 x0, View1 x1); 176 View0 x0; 215 Lq(Home home, View0 x0, View1 x1); 236 View0 x0; 266 template<class View0, class View1> [all …]
|
H A D | rel.cpp | 43 template<class View0, class View1> 45 rel_post(Home home, View0 x0, SetRelType r, View1 x1) { in rel_post() 51 GECODE_ES_FAIL((Eq<View0,View1>::post(home,x0,x1))); in rel_post() 57 GECODE_ES_FAIL((Subset<View0,View1>::post(home, x0,x1))); in rel_post() 65 GECODE_ES_FAIL((SuperOfInter<View0,View1,EmptyView> in rel_post() 71 ComplementView<View0> cx0(x0); in rel_post() 72 GECODE_ES_FAIL((Eq<ComplementView<View0>, View1> in rel_post() 93 template<class View0, class View1, ReifyMode rm> 135 ComplementView<View0> xc(x); in rel_re() 143 ComplementView<View0> xc(x); in rel_re() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/set/rel/ |
H A D | nq.hpp | 44 Distinct<View0,View1>::Distinct(Home home, View0 x, View1 y) in Distinct() 55 Distinct<View0,View1>::post(Home home, View0 x, View1 y) { in post() 59 GlbRanges<View0> xr(x); in post() 97 template<class View0> 99 DistinctDoit<View0>::post(Home home, View0 x, ConstSetView y) { in post() 104 template<class View0> 110 template<class View0> 143 template<class View0> 145 DistinctDoit<View0>::DistinctDoit(Home home, View0 _x, ConstSetView _y) in DistinctDoit() 148 template<class View0> [all …]
|
H A D | nosubset.hpp | 45 template<class View0, class View1> 47 NoSubset<View0,View1>::NoSubset(Home home, View0 y0, View1 y1) in NoSubset() 48 : MixBinaryPropagator<View0,PC_SET_CLUB, in NoSubset() 51 template<class View0, class View1> 53 NoSubset<View0,View1>::NoSubset(Space& home, NoSubset<View0,View1>& p) in NoSubset() argument 57 template<class View0, class View1> 59 NoSubset<View0,View1>::post(Home home, View0 x, View1 y) { in post() 68 template<class View0, class View1> 74 template<class View0, class View1> 77 GlbRanges<View0> x0lb(x0); in propagate() [all …]
|
H A D | re-subset.hpp | 40 ReSubset<View0,View1,CtrlView,rm>::ReSubset(Home home, View0 y0, in ReSubset() 50 ReSubset<View0,View1,CtrlView,rm>::ReSubset(Space& home, in ReSubset() 60 ReSubset<View0,View1,CtrlView,rm>::cost(const Space&, in cost() 67 ReSubset<View0,View1,CtrlView,rm>::reschedule(Space& home) { in reschedule() 75 ReSubset<View0,View1,CtrlView,rm>::dispose(Space& home) { in dispose() 85 ReSubset<View0,View1,CtrlView,rm>::post(Home home, View0 x0, View1 x1, in post() 97 ReSubset<View0,View1,CtrlView,rm>::copy(Space& home) { in copy() 103 ReSubset<View0,View1,CtrlView,rm>::propagate(Space& home, in propagate() 125 LubRanges<View0> x0ub(x0); in propagate() 137 GlbRanges<View0> x0lb(x0); in propagate() [all …]
|
H A D | re-eq.hpp | 41 template<class View0, class View1, class CtrlView, ReifyMode rm> 43 ReEq<View0,View1,CtrlView,rm>::ReEq(Home home, View0 y0, View1 y1, in ReEq() 53 ReEq<View0,View1,CtrlView,rm>::ReEq(Space& home, ReEq& p) in ReEq() 68 ReEq<View0,View1,CtrlView,rm>::reschedule(Space& home) { in reschedule() 76 ReEq<View0,View1,CtrlView,rm>::dispose(Space& home) { in dispose() 86 ReEq<View0,View1,CtrlView,rm>::post(Home home, View0 x0, View1 x1, in post() 98 ReEq<View0,View1,CtrlView,rm>::copy(Space& home) { in copy() 104 ReEq<View0,View1,CtrlView,rm>::propagate(Space& home, in propagate() 119 GlbRanges<View0> x0lb(x0); in propagate() 149 GlbRanges<View0> x0lb(x0); in propagate() [all …]
|
H A D | re-lq.hpp | 38 ReLq<View0,View1,rm,strict>::ReLq(Home home, View0 y0, View1 y1, in ReLq() 48 ReLq<View0,View1,rm,strict>::ReLq(Space& home, ReLq& p) in ReLq() 64 ReLq<View0,View1,rm,strict>::reschedule(Space& home) { in reschedule() 72 ReLq<View0,View1,rm,strict>::dispose(Space& home) { in dispose() 82 ReLq<View0,View1,rm,strict>::post(Home home, View0 x0, View1 x1, in post() 102 ReLq<View0,View1,rm,strict>::copy(Space& home) { in copy() 118 (Lq<View1,View0,!strict>::post(home(*this),x1,x0))); in propagate() 137 GlbRanges<View0> x0l(x0); in propagate() 156 GlbRanges<View0> x0l(x0); in propagate() 187 GlbRanges<View0> x0l(x0); in propagate() [all …]
|
H A D | eq.hpp | 42 template<class View0, class View1> 44 Eq<View0,View1>::Eq(Home home, View0 x, View1 y) in Eq() 47 template<class View0, class View1> 52 template<class View0, class View1> 54 Eq<View0,View1>::post(Home home, View0 x, View1 y) { in post() 60 template<class View0, class View1> 62 Eq<View0,View1>::copy(Space& home) { in copy() 66 template<class View0, class View1> 70 ModEvent me0 = View0::me(med); in propagate() 76 GlbRanges<View0> x0lb(x0); in propagate() [all …]
|
H A D | subset.hpp | 42 template<class View0, class View1> 44 Subset<View0,View1>::Subset(Home home, View0 y0, View1 y1) in Subset() 45 : MixBinaryPropagator<View0,PC_SET_CGLB, in Subset() 48 template<class View0, class View1> 51 : MixBinaryPropagator<View0,PC_SET_CGLB, in Subset() 54 template<class View0, class View1> 55 ExecStatus Subset<View0,View1>::post(Home home, View0 x, View1 y) { in post() 61 template<class View0, class View1> 63 Subset<View0,View1>::copy(Space& home) { in copy() 67 template<class View0, class View1> [all …]
|
H A D | lq.hpp | 85 template<class View0, class View1> 119 template<class View0, class View1> 245 template<class View0, class View1> 271 template<class View0, class View1> 275 LubRanges<View0> xlub(x); in CharacteristicSets() 284 LubRanges<View0> xur(x); in CharacteristicSets() 285 GlbRanges<View0> xlr(x); in CharacteristicSets() 315 Lq<View0,View1,strict>::Lq(Home home, View0 x, View1 y) in Lq() 320 Lq<View0,View1,strict>::Lq(Space& home, Lq& p) in Lq() 325 Lq<View0,View1,strict>::post(Home home, View0 x, View1 y) { in post() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/set/rel-op/ |
H A D | union.hpp | 49 Union<View0,View1,View2>::Union(Home home, View0 y0,View1 y1,View2 y2) in Union() 61 ExecStatus Union<View0,View1,View2>::post(Home home, View0 x0, in post() 83 ModEvent me0 = View0::me(med); in propagate() 97 LubRanges<View0> x0ub(x0); in propagate() 202 template<class View0, class View1> 204 UnionN<View0,View1>::UnionN(Home home, ViewArray<View0>& x, View1 y) in UnionN() 211 UnionN<View0,View1>::UnionN(Home home, ViewArray<View0>& x, in UnionN() 235 UnionN<View0,View1>::post(Home home, ViewArray<View0>& x, View1 y) { in post() 243 return Union<View0,View0,View1>::post(home, x[0], x[1], y); in post() 252 UnionN<View0,View1>::post(Home home, ViewArray<View0>& x, in post() [all …]
|
H A D | inter.hpp | 70 ModEvent me0 = View0::me(med); in propagate() 84 GlbRanges<View0> x0lb(x0); in propagate() 203 template<class View0, class View1> 205 IntersectionN<View0,View1>::IntersectionN(Home home, ViewArray<View0>& x, in IntersectionN() 212 template<class View0, class View1> 214 IntersectionN<View0,View1>::IntersectionN(Home home, ViewArray<View0>& x, in IntersectionN() 223 template<class View0, class View1> 244 return Intersection<View0,View0,View1>::post(home, x[0], x[1], y); in post() 253 IntersectionN<View0,View1>::post(Home home, ViewArray<View0>& x, in post() 291 GlbRanges<View0>* xLBs = r.alloc<GlbRanges<View0> >(xsize); in propagate() [all …]
|
H A D | partition.hpp | 47 template<class View0, class View1> 49 PartitionN<View0,View1>::PartitionN(Home home, ViewArray<View0>& x, View1 y) in PartitionN() 54 template<class View0, class View1> 56 PartitionN<View0,View1>::PartitionN(Home home, ViewArray<View0>& x, in PartitionN() 64 template<class View0, class View1> 72 template<class View0, class View1> 78 template<class View0, class View1> 79 ExecStatus PartitionN<View0,View1>::post(Home home, ViewArray<View0>& x, in post() 94 ExecStatus PartitionN<View0,View1>::post(Home home, ViewArray<View0>& x, in post() 109 ModEvent me0 = View0::me(med); in propagate() [all …]
|
H A D | superofinter.hpp | 42 template<class View0, class View1, class View2> 44 SuperOfInter<View0,View1,View2>::SuperOfInter in SuperOfInter() 45 (Home home, View0 y0, View1 y1, View2 y2) in SuperOfInter() 49 template<class View0, class View1, class View2> 51 SuperOfInter<View0,View1,View2>::SuperOfInter in SuperOfInter() argument 56 template<class View0, class View1, class View2> 64 template<class View0, class View1, class View2> 76 ModEvent me0 = View0::me(med); in propagate() 85 GlbRanges<View0> lb0(x0); in propagate() 104 GlbRanges<View0> lb01(x0); in propagate() [all …]
|
H A D | subofunion.hpp | 42 template<class View0, class View1, class View2> 48 template<class View0, class View1, class View2> 54 ModEvent me0 = View0::me(med); in propagate() 64 LubRanges<View0> ub0(x0); in propagate() 76 LubRanges<View0> ub0(x0); in propagate() 97 GlbRanges<View0> lb0c(x0); in propagate() 139 template<class View0, class View1, class View2> 141 SubOfUnion<View0,View1,View2>::SubOfUnion(Home home, View0 y0, in SubOfUnion() 148 SubOfUnion<View0,View1,View2>::SubOfUnion in SubOfUnion() argument 154 ExecStatus SubOfUnion<View0,View1,View2>::post in post() [all …]
|
H A D | post.hpp | 43 template<class View0, class View1, class Res> 57 (Union<View0,View1,Res> in rel_eq() 63 GECODE_ES_FAIL((Intersection<View0,View1,Res> in rel_eq() 71 (Intersection<View0, in rel_eq() 79 template<class View0, class View1, class View2> 97 (Union<View0,View1,SetView> in rel_sub() 111 (SuperOfInter<View0, in rel_sub() 120 template<class View0, class View1, class View2> 156 (Intersection<View0, in rel_sup() 186 template<class View0, class View1, class View2> [all …]
|
H A D | common.hpp | 45 template<class View0, class View1> 97 LubRanges<View0> x0ub(x0); in interCard() 117 GlbRanges<View0> x0lb(x0); in interCard() 153 LubRanges<View0> x0ub(x0); in unionCard() 166 LubRanges<View0> x0ub(x0); in unionCard() 191 template<class View0, class View1> 273 LubRanges<View0> xiub(x[i]); in unionNCard() 566 GlbRanges<View0>* xLBs = reg.alloc<GlbRanges<View0> >(xsize); in partitionNYLB() 569 GlbRanges<View0> r(x[i]); in partitionNYLB() 592 LubRanges<View0>* xUBs = reg.alloc<LubRanges<View0> >(xsize); in partitionNYUB() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/float/rel/ |
H A D | nq.hpp | 42 template<class View0, class View1> 44 Nq<View0,View1>::Nq(Home home, View0 x0, View1 x1) in Nq() 47 template<class View0, class View1> 49 Nq<View0,View1>::post(Home home, View0 x0, View1 x1){ in post() 56 (void) new (home) Nq<View0,View1>(home,x0,x1); in post() 61 template<class View0, class View1> 63 Nq<View0,View1>::Nq(Space& home, Nq<View0,View1>& p) in Nq() argument 66 template<class View0, class View1> 68 Nq<View0,View1>::copy(Space& home) { in copy() 69 return new (home) Nq<View0,View1>(home,*this); in copy() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/rel/ |
H A D | eq.hpp | 41 template<class View0, class View1> 43 EqVal<View0,View1>::EqVal(Home home, View0 x0, View1 x1) in EqVal() 48 EqVal<View0,View1>::post(Home home, View0 x0, View1 x1){ in post() 61 EqVal<View0,View1>::EqVal(Space& home, EqVal<View0,View1>& p) in EqVal() argument 103 EqBnd<View0,View1>::EqBnd(Home home, View0 x0, View1 x1) in EqBnd() 108 EqBnd<View0,View1>::post(Home home, View0 x0, View1 x1){ in post() 125 EqBnd<View0,View1>::EqBnd(Space& home, EqBnd<View0,View1>& p) in EqBnd() argument 171 EqDom<View0,View1>::EqDom(Home home, View0 x0, View1 x1) in EqDom() 176 EqDom<View0,View1>::post(Home home, View0 x0, View1 x1){ in post() 194 EqDom<View0,View1>::EqDom(Space& home, EqDom<View0,View1>& p) in EqDom() argument [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/kernel/propagator/ |
H A D | pattern.hpp | 207 View0 x0; 213 MixBinaryPropagator(Home home, View0 x0, View1 x1); 240 View0 x0; 251 View0 x0, View1 x1, View2 x2); 275 ViewArray<View0> x; 284 ViewArray<View0>& x, View1 y); 586 (Home home, View0 y0, View1 y1) in MixBinaryPropagator() 606 (Space& home, Propagator& p, View0 y0, View1 y1) in MixBinaryPropagator() 646 MixTernaryPropagator<View0,pc0,View1,pc1,View2,pc2>:: 660 MixTernaryPropagator<View0,pc0,View1,pc1,View2,pc2>:: [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/set/element/ |
H A D | inter.hpp | 38 template<class View, class View0, class View1> 40 ElementIntersection<View,View0,View1>:: 50 template<class View, class View0, class View1> 52 ElementIntersection<View,View0,View1>:: 60 template<class View, class View0, class View1> 67 template<class View, class View0, class View1> 75 template<class View, class View0, class View1> 89 template<class View, class View0, class View1> 91 ElementIntersection<View,View0,View1>:: 123 LubRanges<View0> x0ub(x0); in propagate() [all …]
|
H A D | union.hpp | 38 template<class View, class View0, class View1> 40 ElementUnion<View,View0,View1>:: 49 template<class View, class View0, class View1> 51 ElementUnion<View,View0,View1>:: 59 template<class View, class View0, class View1> 66 template<class View, class View0, class View1> 74 template<class View, class View0, class View1> 87 template<class View, class View0, class View1> 89 ElementUnion<View,View0,View1>:: 119 LubRanges<View0> x0ub(x0); in propagate() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/ |
H A D | propagator.hpp | 122 template<class View0, PropCond pc0, class View1, PropCond pc1, 127 View0 x0; 138 View0 x0, View1 x1, CtrlView b); 271 template<class View0, PropCond pc0, class View1, PropCond pc1, 273 ReMixBinaryPropagator<View0,pc0,View1,pc1,CtrlView> 283 template<class View0, PropCond pc0, class View1, PropCond pc1, 288 ReMixBinaryPropagator<View0,pc0,View1,pc1,CtrlView>& p) in ReMixBinaryPropagator() 295 template<class View0, PropCond pc0, class View1, PropCond pc1, 298 ReMixBinaryPropagator<View0,pc0,View1,pc1,CtrlView> 300 (Space& home, Propagator& p, View0 y0, View1 y1, CtrlView b0) in ReMixBinaryPropagator() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/float/ |
H A D | rel.hh | 65 template<class View0, class View1> 67 public MixBinaryPropagator<View0,PC_FLOAT_BND,View1,PC_FLOAT_BND> { 73 Eq(Space& home, Eq<View0,View1>& p); 76 Eq(Home home, View0 x0, View1 x1); 78 Eq(Space& home, Propagator& p, View0 x0, View1 x1); 84 static ExecStatus post(Home home, View0 x0, View1 x1); 178 template<class View0, class View1> 186 Nq(Space& home, Nq<View0,View1>& p); 189 Nq(Home home, View0 x0, View1 x1); 191 Nq(Space& home, Propagator& p, View0 x0, View1 x1); [all …]
|