cerc-io/solidity
11
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

Use names for the bounds.

Browse Source
This commit is contained in:
chriseth
2022-02-02 15:13:12 +01:00
parent 01d874e956
commit fb5b7d67fb
3 changed files with 38 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolutil/LP.cpp
+2 -2
View File
@@ -77,7 +77,7 @@ public:
size_t index = variableIndex(_variable);
if (index >= m_solvingState.bounds.size())
m_solvingState.bounds.resize(index + 1);
m_solvingState.bounds.at(index)[0] = _value;
m_solvingState.bounds.at(index).lower = _value;
}
void addUpperBound(string _variable, rational _value)
@@ -85,7 +85,7 @@ public:
size_t index = variableIndex(_variable);
if (index >= m_solvingState.bounds.size())
m_solvingState.bounds.resize(index + 1);
m_solvingState.bounds.at(index)[1] = _value;
m_solvingState.bounds.at(index).upper = _value;
}
void feasible(vector<pair<string, rational>> const& _solution)