| 164 | |
| 165 | template<class SBAP, class SBAN, class VX, PropCond pcx> |
| 166 | PropCost |
| 167 | LinBoolScale<SBAP,SBAN,VX,pcx>::cost(const Space&, |
| 168 | const ModEventDelta&) const { |
| 169 | return PropCost::linear(PropCost::LO, p.size() + n.size()); |
| 170 | } |
| 171 | |
| 172 | template<class SBAP, class SBAN, class VX, PropCond pcx> |
| 173 | void |