mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-08 18:19:40 +00:00
Code Activity

refactor

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-08-15 11:47:34 -07:00
parent 8cb7373c21
commit 51778e3ef7
4 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/nlsat/nlsat_solver.cpp
View file

@ -4374,11 +4374,11 @@ namespace nlsat {
nlsat_params::collect_param_descrs(d);
}
const assignment &solver::get_assignment() const {
const assignment &solver::sample() const {
return m_imp->m_assignment;
}
assignment &solver::get_assignment() {
assignment &solver::sample() {
return m_imp->m_assignment;
}