Updates Defaults::getLambda(std::string prefix) { Updates us; if (dfs.size() > 0) { for (std::list<Default>::iterator i = dfs.begin(); i != dfs.end(); ++i) { us.insert(i->getUpdates(prefix)); } } return us; }