Home
last modified time | relevance | path

Searched refs:View0 (Results 1 – 25 of 44) sorted by relevance

12

/dports/math/gecode/gecode-0916a1a/gecode/set/
H A Drel-op.hh60 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 Drel.hh63 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 Drel.cpp43 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 Dnq.hpp44 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 Dnosubset.hpp45 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 Dre-subset.hpp40 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 Dre-eq.hpp41 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 Dre-lq.hpp38 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 Deq.hpp42 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 Dsubset.hpp42 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 Dlq.hpp85 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 Dunion.hpp49 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 Dinter.hpp70 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 Dpartition.hpp47 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 Dsuperofinter.hpp42 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 Dsubofunion.hpp42 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 Dpost.hpp43 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 Dcommon.hpp45 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 Dnq.hpp42 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 Deq.hpp41 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 Dpattern.hpp207 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 Dinter.hpp38 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 Dunion.hpp38 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 Dpropagator.hpp122 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 Drel.hh65 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 …]

12