Support rand_mode (#5273)

Signed-off-by: Krzysztof Bieganski <[email protected]>
This commit is contained in:
Krzysztof Bieganski
2024-07-31 22:30:48 +01:00
committed by GitHub
parent 403a197e23
commit 2f5c58b345
21 changed files with 762 additions and 189 deletions
+5 -1
View File
@@ -403,8 +403,12 @@ bool VlRandomizer::parseSolution(std::iostream& f) {
auto it = m_vars.find(name);
if (it == m_vars.end()) continue;
const VlRandomVar& varr = *it->second;
if (m_randmode && !varr.randModeIdxNone()) {
if (!(m_randmode->at(varr.randModeIdx()))) continue;
}
it->second->set(std::move(value));
varr.set(std::move(value));
}
return true;