cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Some debug output.

Browse Source
This commit is contained in:
chriseth 2022-03-01 15:04:40 +01:00
parent 005e743fc5
commit 3203b73c64
1 changed files with 40 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
libsolutil/LP.cpp
View File

@ -71,6 +71,46 @@ struct Tableau
std::vector<LinearExpression> data; std::vector<LinearExpression> data;
}; };
string toString(rational const& _x)
{
if (_x.denominator() == 1)
return ::toString(_x.numerator());
else
return ::toString(_x.numerator()) + "/" + ::toString(_x.denominator());
}
string reasonToString(ReasonSet const& _reasons, size_t _minSize)
{
auto reasonsAsStrings = _reasons | ranges::views::transform([](size_t _r) { return to_string(_r); });
string result = "[" + joinHumanReadable(reasonsAsStrings) + "]";
if (result.size() < _minSize)
result.resize(_minSize, ' ');
return result;
}
/*
string toString(LinearExpression const& _expr)
{
vector<string> items;
for (auto&& multiplier: _expr)
if (multiplier != 0)
items.emplace_back(::toString(multiplier));
else
items.emplace_back("_");
for (string& item: items)
while (item.size() < 3)
item = " " + item;
return joinHumanReadable(items, " ");
}
string toString(Tableau const& _tableau)
{
string s = toString(_tableau.objective) + "\n";
for (auto&& d: _tableau.data)
s += toString(d) + "\n";
return s;
}
*/
/// Adds slack variables to remove non-equality costraints from a set of constraints /// Adds slack variables to remove non-equality costraints from a set of constraints
/// and returns the data part of the tableau / constraints. /// and returns the data part of the tableau / constraints.
@ -487,29 +527,6 @@ bool SolvingState::Compare::operator()(SolvingState const& _a, SolvingState cons
return _a.variableNames < _b.variableNames; return _a.variableNames < _b.variableNames;
} }
namespace
{
string toString(rational const& _x)
{
if (_x.denominator() == 1)
return ::toString(_x.numerator());
else
return ::toString(_x.numerator()) + "/" + ::toString(_x.denominator());
}
}
namespace
{
string reasonToString(ReasonSet const& _reasons, size_t _minSize)
{
auto reasonsAsStrings = _reasons | ranges::views::transform([](size_t _r) { return to_string(_r); });
string result = "[" + joinHumanReadable(reasonsAsStrings) + "]";
if (result.size() < _minSize)
result.resize(_minSize, ' ');
return result;
}
}
string SolvingState::toString() const string SolvingState::toString() const
{ {
size_t const reasonLength = 10; size_t const reasonLength = 10;