void ConfigManager::removeKey(const String &key, const String &domName) { Domain *domain = getDomain(domName); if (!domain) error("ConfigManager::removeKey(%s, %s) called on non-existent domain", key.c_str(), domName.c_str()); domain->erase(key); }
// variable varIndex has been assigned void whenValue(const IlcInt varIndex) { checkFailure(); if (ToulBar2::verbose >= 2) cout << "ILOG: " << vars[varIndex].getName() << " = " << vars[varIndex].getValue() << endl; wcsp->assign(varIndex, vars[varIndex].getValue()); if (unassignedVars->canbe(varIndex)) { unassignedVars->erase(varIndex); if (unassignedVars->empty()) { assert(wcsp->verify()); obj.setValue(wcsp->getLb()); } } push(); // global propagation done after local propagation }