| 3286 | } |
| 3287 | |
| 3288 | void |
| 3289 | FilterStateObjectives::request_cell (db::cell_index_type ci) |
| 3290 | { |
| 3291 | if (! m_wants_all_cells) { |
| 3292 | m_wants_cells.insert (ci); |
| 3293 | } |
| 3294 | } |
| 3295 | |
| 3296 | bool |
| 3297 | FilterStateObjectives::wants_cell (db::cell_index_type ci) const |
no test coverage detected