| 80 | |
| 81 | template<class VA, class VB, class Ops> |
| 82 | forceinline ExecStatus |
| 83 | PowPlusBnd<VA,VB,Ops>::post(Home home, VA x0, VB x1, Ops ops) { |
| 84 | GECODE_ME_CHECK(x0.gq(home,0)); |
| 85 | GECODE_ME_CHECK(x1.gq(home,0)); |
| 86 | GECODE_ES_CHECK(prop_pow_plus_bnd(home,x0,x1,ops)); |
| 87 | if (!x0.assigned()) { |
| 88 | assert(!x1.assigned()); |
| 89 | (void) new (home) PowPlusBnd<VA,VB,Ops>(home,x0,x1,ops); |
| 90 | } |
| 91 | return ES_OK; |
| 92 | } |
| 93 | |
| 94 | template<class VA, class VB, class Ops> |
| 95 | forceinline |
nothing calls this directly
no test coverage detected