mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

move std functions up for potential alignment issues

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-10-20 09:11:15 -07:00
parent fc30461828
commit 5976978062
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/sat/smt/euf_solver.h
View file

@ -111,6 +111,7 @@ namespace euf {
} }
std::function<::solver*(void)> m_mk_solver; std::function<::solver*(void)> m_mk_solver;
user_propagator::on_clause_eh_t m_on_clause;
ast_manager& m; ast_manager& m;
sat::sat_internalizer& si; sat::sat_internalizer& si;
relevancy m_relevancy; relevancy m_relevancy;
@ -124,7 +125,6 @@ namespace euf {
ast_manager* m_to_m = nullptr; ast_manager* m_to_m = nullptr;
sat::sat_internalizer* m_to_si; sat::sat_internalizer* m_to_si;
scoped_ptr<euf::ackerman> m_ackerman; scoped_ptr<euf::ackerman> m_ackerman;
user_propagator::on_clause_eh_t m_on_clause;
void* m_on_clause_ctx = nullptr; void* m_on_clause_ctx = nullptr;
user_solver::solver* m_user_propagator = nullptr; user_solver::solver* m_user_propagator = nullptr;
th_solver* m_qsolver = nullptr; th_solver* m_qsolver = nullptr;