| 2264 | } |
| 2265 | |
| 2266 | void Pattern::lazy( |
| 2267 | const Lazypos& lazypos, |
| 2268 | Positions& pos) const |
| 2269 | { |
| 2270 | for (Positions::iterator p = pos.begin(); p != pos.end(); ++p) |
| 2271 | for (Lazypos::const_iterator l = lazypos.begin(); l != lazypos.end(); ++l) |
| 2272 | *p = p->lazy(l->lazy()); |
| 2273 | } |
| 2274 | |
| 2275 | void Pattern::lazy( |
| 2276 | const Lazypos& lazypos, |