mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
move initialization to header file
This commit is contained in:
parent
75e29b2a6d
commit
1bdf66b918
|
@ -22,8 +22,6 @@ namespace lp {
|
|||
}
|
||||
|
||||
lar_solver::lar_solver() :
|
||||
m_crossed_bounds_column(null_lpvar),
|
||||
m_crossed_bounds_deps(nullptr),
|
||||
m_mpq_lar_core_solver(m_settings, *this),
|
||||
m_var_register(false),
|
||||
m_term_register(true),
|
||||
|
|
|
@ -78,8 +78,8 @@ class lar_solver : public column_namer {
|
|||
lp_status m_status = lp_status::UNKNOWN;
|
||||
stacked_value<simplex_strategy_enum> m_simplex_strategy;
|
||||
// such can be found at the initialization step: u < l
|
||||
lpvar m_crossed_bounds_column;
|
||||
u_dependency* m_crossed_bounds_deps;
|
||||
lpvar m_crossed_bounds_column = null_lpvar;
|
||||
u_dependency* m_crossed_bounds_deps = nullptr;
|
||||
lar_core_solver m_mpq_lar_core_solver;
|
||||
int_solver* m_int_solver = nullptr;
|
||||
bool m_need_register_terms = false;
|
||||
|
|
Loading…
Reference in a new issue