| 6 | { |
| 7 | |
| 8 | void VisualFlags::ensure_id_exists(NodeID nid) |
| 9 | { |
| 10 | const auto id = static_cast<int>(nid); |
| 11 | if (label_shown_.size() < id + 1) |
| 12 | { |
| 13 | label_shown_.resize(id + 1); |
| 14 | node_hidden_.resize(id + 1); |
| 15 | shape_highlighted_.resize(id + 1); |
| 16 | } |
| 17 | } |
| 18 | |
| 19 | void VisualFlags::setLabelShown(NodeID nid, bool val) |
| 20 | { |