| 74 | |
| 75 | template<class Val, class P, class N, PropCond pc> |
| 76 | PropCost |
| 77 | Lin<Val,P,N,pc>::cost(const Space&, const ModEventDelta&) const { |
| 78 | return PropCost::linear(PropCost::LO, x.size()+y.size()); |
| 79 | } |
| 80 | |
| 81 | template<class Val, class P, class N, PropCond pc> |
| 82 | void |