| 88 | |
| 89 | template<class ViewM, class ViewP, class ViewU, class View> |
| 90 | size_t |
| 91 | Val<ViewM,ViewP,ViewU,View>::dispose(Space& home) { |
| 92 | home.ignore(*this,AP_DISPOSE); |
| 93 | if (!home.failed()) { |
| 94 | m.cancel(home,*this,Int::PC_INT_DOM); |
| 95 | s.cancel(home,*this,Int::PC_INT_BND); |
| 96 | p.cancel(home,*this,Int::PC_INT_BND); |
| 97 | e.cancel(home,*this,Int::PC_INT_BND); |
| 98 | u.cancel(home,*this,Int::PC_INT_BND); |
| 99 | } |
| 100 | c.~SharedArray(); |
| 101 | (void) Propagator::dispose(home); |
| 102 | return sizeof(*this); |
| 103 | } |
| 104 | |
| 105 | template<class ViewM, class ViewP, class ViewU, class View> |
| 106 | PropCost |