mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Not using std::to_string in ezsat (problems with mingw)

Browse source
This commit is contained in:
Clifford Wolf 2014-10-11 10:46:50 +02:00
parent 0a651f112f
commit 7df8cbe2a9
1 changed files with 11 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

16
libs/ezsat/ezsat.cc
View file

@ -669,8 +669,11 @@ std::vector<int> ezSAT::vec_var(int numBits)
std::vector<int> ezSAT::vec_var(std::string name, int numBits)
{
std::vector<int> vec;
for (int i = 0; i < numBits; i++)
vec.push_back(VAR(name + "[" + std::to_string(i) + "]"));
for (int i = 0; i < numBits; i++) {
char buf[64];
snprintf(buf, 64, " [%d]", i);
vec.push_back(VAR(name + buf));
}
return vec;
}
@ -1195,7 +1198,7 @@ void ezSAT::printDIMACS(FILE *f, bool verbose) const
fprintf(f, "c mapping of variables to expressions:\n");
for (int i = 0; i < int(cnfExpressionVariables.size()); i++)
if (cnfExpressionVariables[i] != 0)
fprintf(f, "c %*d: %s\n", digits, cnfExpressionVariables[i], to_string(-i-1).c_str());
fprintf(f, "c %*d: %d\n", digits, cnfExpressionVariables[i], -i-1);
if (mode_keep_cnf()) {
fprintf(f, "c\n");
@ -1242,8 +1245,11 @@ static std::string expression2str(const std::pair<ezSAT::OpId, std::vector<int>>
#undef X
}
text += ":";
for (auto it : data.second)
text += " " + std::to_string(it);
for (auto it : data.second) {
char buf[64];
snprintf(buf, 64, " %d", it);
text += buf;
}
return text;
}