34 void insert(
const string& name) {ids.insert(name);}
35 bool operator()(
const VariableManager::value_type& v)
const {
36 return ids.contains(v.second.name);
38 bool operator()(
const VariableManager::VariableValues::value_type& l)
const {
39 return ids.contains(l.first);
44 void Minsky::removeIntVarOrphans()
47 for (Operations::const_iterator o=operations.begin();
48 o!=operations.end(); ++o)
51 if (!o->second.m_description.empty())
52 intNames.insert(o->second.m_description);
54 if (!o->second.description.empty())
55 intNames.insert(o->second.description);
59 for (VariableManager::const_iterator v=variables.begin();
60 v!=variables.end(); ++v)
63 intNames.contains(v->second.name)==0)
64 isOrphan.insert(v->second.name);
66 for (VariableManager::iterator i=variables.begin();
69 const VariableManager::iterator j=i++;
70 if (isOrphan(*j)) variables.erase(j);
73 for (VariableManager::VariableValues::iterator i=variables.values.begin();
74 i!=variables.values.end();)
76 const VariableManager::VariableValues::iterator j=i++;
77 if (isOrphan(*j)) variables.values.erase(j);
void insert(const string &name)
bool operator()(const VariableManager::VariableValues::value_type &l) const
bool operator()(const VariableManager::value_type &v) const