mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 20:33:38 +00:00
Code Activity

initialize field

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-02-01 10:14:24 -08:00
parent 0f86a00229
commit 682e868129
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/lp/lp_core_solver_base.h
View file

@ -74,9 +74,9 @@ public:
vector<X> & m_x; // a feasible solution, the fist time set in the constructor vector<X> & m_x; // a feasible solution, the fist time set in the constructor
vector<T> & m_costs; vector<T> & m_costs;
lp_settings & m_settings; lp_settings & m_settings;
lu<static_matrix<T, X>> * m_factorization = nullptr;
vector<T> m_y; // the buffer for yB = cb vector<T> m_y; // the buffer for yB = cb
// a device that is able to solve Bx=c, xB=d, and change the basis // a device that is able to solve Bx=c, xB=d, and change the basis
lu<static_matrix<T, X>> * m_factorization;
const column_namer & m_column_names; const column_namer & m_column_names;
indexed_vector<T> m_w; // the vector featuring in 24.3 of the Chvatal book indexed_vector<T> m_w; // the vector featuring in 24.3 of the Chvatal book
vector<T> m_d; // the vector of reduced costs vector<T> m_d; // the vector of reduced costs

1
src/math/lp/lp_core_solver_base_def.h
View file

@ -55,7 +55,6 @@ lp_core_solver_base(static_matrix<T, X> & A,
m_costs(costs), m_costs(costs),
m_settings(settings), m_settings(settings),
m_y(m_m()), m_y(m_m()),
m_factorization(nullptr),
m_column_names(column_names), m_column_names(column_names),
m_w(m_m()), m_w(m_m()),
m_d(m_n()), m_d(m_n()),