mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-02 21:36:09 +00:00
Code Activity

Update sat_ddfw.h

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-01-26 10:10:04 -08:00 • committed by GitHub
parent 8a0207700c
commit a4e123b900
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/sls/sat_ddfw.h
View file

@ -72,6 +72,7 @@ namespace sat {
double m_reward = 0; double m_reward = 0;
double m_last_reward = 0; double m_last_reward = 0;
unsigned m_make_count = 0; unsigned m_make_count = 0;
unsigned m_timestamp = 0;
int m_bias = 0; int m_bias = 0;
ema m_reward_avg = 1e-5; ema m_reward_avg = 1e-5;
}; };
@ -283,6 +284,8 @@ namespace sat {
inline int& bias(bool_var v) { return m_vars[v].m_bias; } inline int& bias(bool_var v) { return m_vars[v].m_bias; }
unsigned timestamp(bool_var v) { return m_vars[v].m_timestamp; }
void reserve_vars(unsigned n); void reserve_vars(unsigned n);
void add(unsigned sz, literal const* c); void add(unsigned sz, literal const* c);