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

fixup! Boolean LP Solver.

Browse Source
This commit is contained in:
chriseth 2022-02-07 16:41:07 +01:00
parent fdc6f5249c
commit 252ac75de7
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolutil/BooleanLP.cpp
View File

@ -22,7 +22,7 @@
#include <libsolutil/StringUtils.h> #include <libsolutil/StringUtils.h>
#include <liblangutil/Exceptions.h> #include <liblangutil/Exceptions.h>
#include <libsolutil/RationalVectors.h> #include <libsolutil/LinearExpression.h>
#include <range/v3/view/enumerate.hpp> #include <range/v3/view/enumerate.hpp>
#include <range/v3/view/transform.hpp> #include <range/v3/view/transform.hpp>

2
libsolutil/BooleanLP.h
View File

@ -151,7 +151,7 @@ private:
size_t m_internalVariableCounter = 0; size_t m_internalVariableCounter = 0;
/// Stack of state, to allow for push()/pop(). /// Stack of state, to allow for push()/pop().
std::vector<State> m_state{{State{}}}; std::vector<State> m_state{{State{}}};
LPSolver m_lpSolver; LPSolver m_lpSolver{false};
}; };

2
test/libsolutil/BooleanLP.cpp
View File

@ -17,7 +17,7 @@
// SPDX-License-Identifier: GPL-3.0 // SPDX-License-Identifier: GPL-3.0
#include <libsolutil/BooleanLP.h> #include <libsolutil/BooleanLP.h>
#include <libsolutil/RationalVectors.h> #include <libsolutil/LinearExpression.h>
#include <libsmtutil/Sorts.h> #include <libsmtutil/Sorts.h>
#include <libsolutil/StringUtils.h> #include <libsolutil/StringUtils.h>
#include <test/Common.h> #include <test/Common.h>