| 379 | |
| 380 | template<class Val, class View> |
| 381 | PropCost |
| 382 | DomEq<Val,View>::cost(const Space&, const ModEventDelta& med) const { |
| 383 | if (View::me(med) != ME_INT_DOM) |
| 384 | return PropCost::linear(PropCost::LO, x.size()+y.size()); |
| 385 | else |
| 386 | return PropCost::crazy(PropCost::HI, x.size()+y.size()); |
| 387 | } |
| 388 | |
| 389 | template<class Val, class View> |
| 390 | ExecStatus |