| 128 | |
| 129 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 130 | PropCost |
| 131 | View<VA,VB,VC,pc_ac>::cost(const Space&, const ModEventDelta&) const { |
| 132 | // This is required for subscribing to variables in the |
| 133 | // above constructor, but this is then the only time this |
| 134 | // virtual function is ever used! |
| 135 | return PropCost::linear(PropCost::LO,iv.size()+2); |
| 136 | } |
| 137 | |
| 138 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 139 | void |