| 1716 | } |
| 1717 | |
| 1718 | void |
| 1719 | Layout::refresh () |
| 1720 | { |
| 1721 | for (iterator c = begin (); c != end (); ++c) { |
| 1722 | c->update (); |
| 1723 | } |
| 1724 | } |
| 1725 | |
| 1726 | std::set<db::cell_index_type> |
| 1727 | Layout::cells_to_cleanup (const std::set<db::cell_index_type> &keep_always) const |