// The vector of currently selected nodes of the level
std::vector<tree::Node*> Selected;
// True iff the vector Selected is up to date
// The vector of currently selected nodes of the level
std::vector<tree::Node*> Selected;
// True iff the vector Selected is up to date