/dports/math/gecode/gecode-0916a1a/gecode/float/rel/ |
H A D | lq-le.hpp | 47 Lq<View>::Lq(Home home, View x0, View x1) in Lq() 52 Lq<View>::post(Home home, View x0, View x1) { in post() 62 Lq<View>::Lq(Space& home, Lq<View>& p) in Lq() 67 Lq<View>::copy(Space& home) { in copy() 86 Le<View>::Le(Home home, View x0, View x1) in Le() 91 Le<View>::post(Home home, View x0, View x1) { in post() 106 Le<View>::Le(Space& home, Le<View>& p) in Le() 111 Le<View>::copy(Space& home) { in copy() 185 ReLq<View,CtrlView,rm>::copy(Space& home) { in copy() 272 ReLqFloat<View,CtrlView,rm>::copy(Space& home) { in copy() [all …]
|
H A D | eq.hpp | 45 Eq<View0,View1>::Eq(Home home, View0 x0, View1 x1) in Eq() 67 Eq<View0,View1>::Eq(Space& home, Eq<View0,View1>& p) in Eq() 72 Eq<View0,View1>::Eq(Space& home, Propagator& p, in Eq() 79 Eq<View0,View1>::copy(Space& home) { in copy() 114 NaryEq<View>::NaryEq(Home home, ViewArray<View>& x) in NaryEq() 119 NaryEq<View>::post(Home home, ViewArray<View>& x) { in post() 141 NaryEq<View>::NaryEq(Space& home, NaryEq<View>& p) in NaryEq() 146 NaryEq<View>::copy(Space& home) { in copy() 238 ReEq<View,CtrlView,rm>::copy(Space& home) { in copy() 280 (Home home, View x, FloatVal c0, CtrlView b) in ReEqFloat() [all …]
|
H A D | nq.hpp | 44 Nq<View0,View1>::Nq(Home home, View0 x0, View1 x1) in Nq() 49 Nq<View0,View1>::post(Home home, View0 x0, View1 x1){ in post() 63 Nq<View0,View1>::Nq(Space& home, Nq<View0,View1>& p) in Nq() 68 Nq<View0,View1>::copy(Space& home) { in copy() 74 Nq<View0,View1>::propagate(Space& home, const ModEventDelta&) { in propagate() 87 NqFloat<View>::NqFloat(Home home, View x, FloatVal _c) in NqFloat() 92 NqFloat<View>::post(Home home, View x, FloatVal c){ in post() 104 NqFloat<View>::NqFloat(Space& home, NqFloat<View>& p) in NqFloat() 109 NqFloat<View>::copy(Space& home) { in copy() 115 NqFloat<View>::propagate(Space& home, const ModEventDelta&) { in propagate()
|
/dports/math/gecode/gecode-0916a1a/gecode/int/rel/ |
H A D | eq.hpp | 66 EqVal<View0,View1>::EqVal(Space& home, Propagator& p, in EqVal() 73 EqVal<View0,View1>::copy(Space& home) { in copy() 137 EqBnd<View0,View1>::copy(Space& home) { in copy() 206 EqDom<View0,View1>::copy(Space& home) { in copy() 297 NaryEqDom<View>::copy(Space& home) { in copy() 429 NaryEqBnd<View>::copy(Space& home) { in copy() 521 ReEqDom<View,CtrlView,rm>::copy(Space& home) { in copy() 595 ReEqBnd<View,CtrlView,rm>::copy(Space& home) { in copy() 639 (Home home, View x, int c0, CtrlView b) in ReEqDomInt() 674 ReEqDomInt<View,CtrlView,rm>::copy(Space& home) { in copy() [all …]
|
H A D | lq-le.hpp | 45 Lq<V0,V1>::Lq(Home home, V0 x0, V1 x1) in Lq() 50 Lq<V0,V1>::post(Home home, V0 x0, V1 x1) { in post() 60 Lq<V0,V1>::Lq(Space& home, Lq<V0,V1>& p) in Lq() 65 Lq<V0,V1>::copy(Space& home) { in copy() 86 Le<V0,V1>::Le(Home home, V0 x0, V1 x1) in Le() 91 Le<V0,V1>::post(Home home, V0 x0, V1 x1) { in post() 103 Le<V0,V1>::Le(Space& home, Le<V0,V1>& p) in Le() 108 Le<V0,V1>::copy(Space& home) { in copy() 189 NaryLqLe<View,o>::pop(Space& home) { in pop() 291 NaryLqLe<View,o>::copy(Space& home) { in copy() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/bool/ |
H A D | or.hpp | 61 (Home home, BV b0, BV b1) in OrTrueSubsumed() 74 (Space& home, OrTrueSubsumed<BV>& p) in OrTrueSubsumed() 85 OrTrueSubsumed<BV>::copy(Space& home) { in copy() 119 BinOrTrue<BVA,BVB>::copy(Space& home) { in copy() 186 TerOrTrue<BV>::dispose(Space& home) { in dispose() 208 TerOrTrue<BV>::copy(Space& home) { in copy() 290 QuadOrTrue<BV>::dispose(Space& home) { in dispose() 314 QuadOrTrue<BV>::copy(Space& home) { in copy() 477 Or<BVA,BVB,BVC>::copy(Space& home) { in copy() 634 NaryOrTrue<BV>::copy(Space& home) { in copy() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/branch/ |
H A D | ngl.hpp | 42 EqNGL<View>::EqNGL(Space& home, EqNGL& ngl) in EqNGL() 46 EqNGL<View>::copy(Space& home) { in copy() 59 EqNGL<View>::prune(Space& home) { in prune() 70 NqNGL<View>::NqNGL(Space& home, NqNGL& ngl) in NqNGL() 74 NqNGL<View>::copy(Space& home) { in copy() 87 NqNGL<View>::prune(Space& home) { in prune() 98 LqNGL<View>::LqNGL(Space& home, LqNGL& ngl) in LqNGL() 102 LqNGL<View>::copy(Space& home) { in copy() 117 LqNGL<View>::prune(Space& home) { in prune() 132 GqNGL<View>::copy(Space& home) { in copy() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/kernel/propagator/ |
H A D | pattern.hpp | 311 (Space& home, UnaryPropagator<View,pc>& p) in UnaryPropagator() 319 (Space& home, Propagator& p, View y0) in UnaryPropagator() 364 (Space& home, BinaryPropagator<View,pc>& p) in BinaryPropagator() 412 (Home home, View y0, View y1, View y2) in TernaryPropagator() 424 (Space& home, TernaryPropagator<View,pc>& p) in TernaryPropagator() 476 (Home home, ViewArray<View>& y) in NaryPropagator() 485 (Space& home, NaryPropagator<View,pc>& p) in NaryPropagator() 527 (Home home, ViewArray<View>& x0, View y0) in NaryOnePropagator() 586 (Home home, View0 y0, View1 y1) in MixBinaryPropagator() 661 MixTernaryPropagator(Space& home, in MixTernaryPropagator() [all …]
|
H A D | wait.hpp | 110 UnaryWait<View>::UnaryWait(Home home, View x0, in UnaryWait() 118 UnaryWait<View>::UnaryWait(Space& home, UnaryWait& p) in UnaryWait() 124 UnaryWait<View>::copy(Space& home) { in copy() 134 UnaryWait<View>::reschedule(Space& home) { in reschedule() 147 UnaryWait<View>::post(Home home, View x, in post() 161 UnaryWait<View>::dispose(Space& home) { in dispose() 185 NaryWait<View>::NaryWait(Space& home, NaryWait& p) in NaryWait() 191 NaryWait<View>::copy(Space& home) { in copy() 206 NaryWait<View>::reschedule(Space& home) { in reschedule() 232 NaryWait<View>::post(Home home, ViewArray<View>& x, in post() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/linear/ |
H A D | int-bin.hpp | 73 LinBin<Val,A,B,pc>::reschedule(Space& home) { in reschedule() 80 LinBin<Val,A,B,pc>::dispose(Space& home) { in dispose() 103 ReLinBin<Val,A,B,pc,Ctrl>::ReLinBin(Space& home, in ReLinBin() 127 ReLinBin<Val,A,B,pc,Ctrl>::dispose(Space& home) { in dispose() 166 EqBin<Val,A,B>::copy(Space& home) { in copy() 225 ReEqBin<Val,A,B,Ctrl,rm>::ReEqBin(Space& home, in ReEqBin() 231 ReEqBin<Val,A,B,Ctrl,rm>::copy(Space& home) { in copy() 289 NqBin<Val,A,B>::copy(Space& home) { in copy() 345 LqBin<Val,A,B>::copy(Space& home) { in copy() 391 GqBin<Val,A,B>::copy(Space& home) { in copy() [all …]
|
H A D | bool-int.hpp | 100 LinBoolInt<VX>::dispose(Space& home) { in dispose() 125 GqBoolInt<VX>::copy(Space& home) { in copy() 172 GqBoolInt<VX>::reschedule(Space& home) { in reschedule() 248 EqBoolInt<VX>::copy(Space& home) { in copy() 289 EqBoolInt<VX>::reschedule(Space& home) { in reschedule() 368 NqBoolInt<VX>::dispose(Space& home) { in dispose() 421 NqBoolInt<VX>::copy(Space& home) { in copy() 433 NqBoolInt<VX>::resubscribe(Space& home, VX& y) { in resubscribe() 528 ReLinBoolInt<VX,VB>::dispose(Space& home) { in dispose() 584 ReGqBoolInt<VX,VB,rm>::copy(Space& home) { in copy() [all …]
|
H A D | bool-view.hpp | 42 LinBoolView<XV,YV>::LinBoolView(Home home, in LinBoolView() 51 LinBoolView<XV,YV>::dispose(Space& home) { in dispose() 60 LinBoolView<XV,YV>::LinBoolView(Space& home, LinBoolView& p) in LinBoolView() 74 LinBoolView<XV,YV>::reschedule(Space& home) { in reschedule() 124 EqBoolView<XV,YV>::EqBoolView(Space& home, EqBoolView<XV,YV>& p) in EqBoolView() 129 EqBoolView<XV,YV>::copy(Space& home) { in copy() 135 EqBoolView<XV,YV>::propagate(Space& home, const ModEventDelta&) { in propagate() 210 NqBoolView<XV,YV>::NqBoolView(Space& home, NqBoolView<XV,YV>& p) in NqBoolView() 215 NqBoolView<XV,YV>::copy(Space& home) { in copy() 287 GqBoolView<XV,YV>::GqBoolView(Space& home, GqBoolView<XV,YV>& p) in GqBoolView() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/float/arithmetic/ |
H A D | sqr-sqrt.hpp | 46 SqrPlus<VA,VB>::SqrPlus(Home home, VA x0, VB x1) in SqrPlus() 51 SqrPlus<VA,VB>::post(Home home, VA x0, VB x1) { in post() 71 SqrPlus<VA,VB>::copy(Space& home) { in copy() 100 Sqr<View>::Sqr(Home home, View x0, View x1) in Sqr() 105 Sqr<View>::post(Home home, View x0, View x1) { in post() 125 Sqr<View>::Sqr(Space& home, Sqr<View>& p) in Sqr() 130 Sqr<View>::copy(Space& home) { in copy() 165 Sqrt<A,B>::Sqrt(Home home, A x0, B x1) in Sqrt() 170 Sqrt<A,B>::post(Home home, A x0, B x1) { in post() 186 Sqrt<A,B>::Sqrt(Space& home, Sqrt<A,B>& p) in Sqrt() [all …]
|
H A D | mult.hpp | 64 MultZeroOne<View>::MultZeroOne(Home home, View x0, View x1) in MultZeroOne() 69 MultZeroOne<View>::post(Home home, View x0, View x1) { in post() 101 MultZeroOne<View>::copy(Space& home) { in copy() 138 MultPlus<VA,VB,VC>::MultPlus(Home home, VA x0, VB x1, VC x2) in MultPlus() 150 MultPlus<VA,VB,VC>::copy(Space& home) { in copy() 169 MultPlus<VA,VB,VC>::post(Home home, VA x0, VB x1, VC x2) { in post() 185 Mult<View>::Mult(Home home, View x0, View x1, View x2) in Mult() 190 Mult<View>::Mult(Space& home, Mult<View>& p) in Mult() 195 Mult<View>::copy(Space& home) { in copy() 201 Mult<View>::propagate(Space& home, const ModEventDelta&) { in propagate() [all …]
|
H A D | min-max.hpp | 46 Min<A,B,C>::Min(Home home, A x0, B x1, C x2) in Min() 51 Min<A,B,C>::Min(Space& home, Min<A,B,C>& p) in Min() 56 Min<A,B,C>::Min(Space& home, Propagator& p, in Min() 62 Min<A,B,C>::copy(Space& home) { in copy() 68 Min<A,B,C>::post(Home home, A x0, B x1, C x2) { in post() 98 Max<A,B,C>::Max(Home home, A x0, B x1, C x2) in Max() 103 Max<A,B,C>::Max(Space& home, Max<A,B,C>& p) in Max() 108 Max<A,B,C>::Max(Space& home, Propagator& p, in Max() 114 Max<A,B,C>::copy(Space& home) { in copy() 187 NaryMax<View>::copy(Space& home) { in copy() [all …]
|
H A D | pow-nroot.hpp | 44 Pow<A,B>::Pow(Home home, A x0, B x1, int n) in Pow() 49 Pow<A,B>::post(Home home, A x0, B x1, int n) { in post() 84 Pow<A,B>::Pow(Space& home, Pow<A,B>& p) in Pow() 89 Pow<A,B>::copy(Space& home) { in copy() 95 Pow<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate() 129 NthRoot<A,B>::NthRoot(Home home, A x0, B x1, int n) in NthRoot() 134 NthRoot<A,B>::post(Home home, A x0, B x1, int n) { in post() 145 NthRoot<A,B>::NthRoot(Space& home, NthRoot<A,B>& p) in NthRoot() 150 NthRoot<A,B>::copy(Space& home) { in copy() 156 NthRoot<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate()
|
/dports/math/gecode/gecode-0916a1a/gecode/set/int/ |
H A D | minmax.hpp | 61 MinElement<View>::MinElement(Space& home, MinElement& p) in MinElement() 66 MinElement<View>::copy(Space& home) { in copy() 134 NotMinElement<View>::NotMinElement(Home home, View y0, in NotMinElement() 154 NotMinElement<View>::copy(Space& home) { in copy() 284 ReMinElement<View,rm>::copy(Space& home) { in copy() 408 MaxElement<View>::post(Home home, View x0, in post() 417 MaxElement<View>::copy(Space& home) { in copy() 444 NotMaxElement<View>::NotMaxElement(Home home, View y0, in NotMaxElement() 464 NotMaxElement<View>::copy(Space& home) { in copy() 565 ReMaxElement<View,rm>::post(Home home, View x0, in post() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/arithmetic/ |
H A D | divmod.hpp | 57 DivPlusBnd<VA,VB,VC>::copy(Space& home) { in copy() 87 DivPlusBnd<VA,VB,VC>::post(Home home, VA x0, VB x1, VC x2) { in post() 102 DivBnd<View>::DivBnd(Home home, View x0, View x1, View x2) in DivBnd() 107 DivBnd<View>::DivBnd(Space& home, DivBnd<View>& p) in DivBnd() 112 DivBnd<View>::copy(Space& home) { in copy() 118 DivBnd<View>::propagate(Space& home, const ModEventDelta&) { in propagate() 235 DivBnd<View>::post(Home home, View x0, View x1, View x2) { in post() 275 DivMod<View>::DivMod(Home home, View x0, View x1, View x2) in DivMod() 280 DivMod<View>::post(Home home, View x0, View x1, View x2) { in post() 288 DivMod<View>::DivMod(Space& home, DivMod<View>& p) in DivMod() [all …]
|
H A D | max.hpp | 45 prop_max_bnd(Space& home, View x0, View x1, View x2) { in prop_max_bnd() 75 MaxBnd<View>::MaxBnd(Home home, View x0, View x1, View x2) in MaxBnd() 95 MaxBnd<View>::MaxBnd(Space& home, MaxBnd<View>& p) in MaxBnd() 100 MaxBnd<View>::MaxBnd(Space& home, Propagator& p, in MaxBnd() 106 MaxBnd<View>::copy(Space& home) { in copy() 166 NaryMaxBnd<View>::copy(Space& home) { in copy() 183 prop_nary_max_bnd(Space& home, Propagator& p, in prop_nary_max_bnd() 257 MaxDom<View>::MaxDom(Space& home, MaxDom<View>& p) in MaxDom() 262 MaxDom<View>::MaxDom(Space& home, Propagator& p, in MaxDom() 268 MaxDom<View>::copy(Space& home) { in copy() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/kernel/ |
H A D | var-imp.hpp | 235 IntVarImpBase::IntVarImpBase(Gecode::Space& home) in IntVarImpBase() 239 IntVarImpBase::IntVarImpBase(Gecode::Space& home, IntVarImpBase& x) in IntVarImpBase() 261 IntVarImpBase::notify(Gecode::Space& home, Gecode::ModEvent me, Gecode::Delta& d) { in notify() 296 BoolVarImpBase::BoolVarImpBase(Gecode::Space& home) in BoolVarImpBase() 300 BoolVarImpBase::BoolVarImpBase(Gecode::Space& home, BoolVarImpBase& x) in BoolVarImpBase() 322 BoolVarImpBase::notify(Gecode::Space& home, Gecode::ModEvent, Gecode::Delta& d) { in notify() 339 SetVarImpBase::SetVarImpBase(Gecode::Space& home) in SetVarImpBase() 343 SetVarImpBase::SetVarImpBase(Gecode::Space& home, SetVarImpBase& x) in SetVarImpBase() 365 SetVarImpBase::notify(Gecode::Space& home, Gecode::ModEvent me, Gecode::Delta& d) { in notify() 431 FloatVarImpBase::FloatVarImpBase(Gecode::Space& home) in FloatVarImpBase() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/count/ |
H A D | rel.hpp | 76 subscribe(Space& home, Propagator& p, VY y) { in subscribe() 87 cancel(Space& home, Propagator& p, VY y) { in cancel() 97 reschedule(Space& home, Propagator& p, VY y) { in reschedule() 103 update(IntSet& y, Space& home, IntSet& py) { in update() 109 update(VY& y, Space& home, VY py) { in update() 151 post_true(Home home, VX x, ConstIntView y) { in post_true() 157 post_true(Home home, VX x, ZeroIntView) { in post_true() 163 post_true(Home home, VX x, const IntSet& y) { in post_true() 200 post_false(Home home, VX x, ZeroIntView) { in post_false() 246 post_true(Home home, VX x, VX y) { in post_true() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/float/trigonometric/ |
H A D | asinacos.hpp | 43 ASin<A,B>::ASin(Home home, A x0, B x1) in ASin() 48 ASin<A,B>::post(Home home, A x0, B x1) { in post() 64 ASin<A,B>::ASin(Space& home, ASin<A,B>& p) in ASin() 69 ASin<A,B>::copy(Space& home) { in copy() 75 ASin<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate() 90 ACos<A,B>::ACos(Home home, A x0, B x1) in ACos() 95 ACos<A,B>::post(Home home, A x0, B x1) { in post() 117 ACos<A,B>::ACos(Space& home, ACos<A,B>& p) in ACos() 122 ACos<A,B>::copy(Space& home) { in copy() 128 ACos<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate()
|
/dports/math/gecode/gecode-0916a1a/gecode/float/transcendental/ |
H A D | exp-log.hpp | 43 Exp<A,B>::Exp(Home home, A x0, B x1) in Exp() 48 Exp<A,B>::post(Home home, A x0, B x1) { in post() 65 Exp<A,B>::Exp(Space& home, Exp<A,B>& p) in Exp() 70 Exp<A,B>::copy(Space& home) { in copy() 76 Exp<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate() 92 Pow<A,B>::Pow(Home home, FloatNum base0, A x0, B x1) in Pow() 98 Pow<A,B>::post(Home home, FloatNum base, A x0, B x1) { in post() 115 Pow<A,B>::Pow(Space& home, Pow<A,B>& p) in Pow() 121 Pow<A,B>::copy(Space& home) { in copy() 127 Pow<A,B>::propagate(Space& home, const ModEventDelta&) { in propagate()
|
/dports/math/gecode/gecode-0916a1a/gecode/int/no-overlap/ |
H A D | dim.hpp | 65 FixDim::ssc(Space& home, int n) { in ssc() 70 FixDim::lec(Space& home, int n) { in lec() 75 FixDim::nooverlap(Space& home, int n, int m) { in nooverlap() 83 FixDim::nooverlap(Space& home, FixDim& d) { in nooverlap() 95 FixDim::update(Space& home, FixDim& d) { in update() 105 FixDim::cancel(Space& home, Propagator& p) { in cancel() 142 FlexDim::ssc(Space& home, int n) { in ssc() 147 FlexDim::lec(Space& home, int n) { in lec() 162 FlexDim::nooverlap(Space& home, FlexDim& d) { in nooverlap() 175 FlexDim::update(Space& home, FlexDim& d) { in update() [all …]
|
/dports/math/gecode/gecode-0916a1a/gecode/int/var-imp/ |
H A D | bool.hpp | 183 BoolVarImp::zero(Space& home) { in zero() 189 BoolVarImp::one(Space& home) { in one() 201 BoolVarImp::gq(Space& home, int n) { in gq() 207 BoolVarImp::gq(Space& home, long long int n) { in gq() 214 BoolVarImp::lq(Space& home, int n) { in lq() 220 BoolVarImp::lq(Space& home, long long int n) { in lq() 227 BoolVarImp::eq(Space& home, int n) { in eq() 232 BoolVarImp::eq(Space& home, long long int n) { in eq() 238 BoolVarImp::nq(Space& home, int n) { in nq() 243 BoolVarImp::nq(Space& home, long long int n) { in nq() [all …]
|