mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update sls_bv_lookahead.h
This commit is contained in:
parent
2ebc647079
commit
8a7d971264
|
@ -94,7 +94,7 @@ namespace sls {
|
|||
unsigned m_max_depth = 0, m_min_depth = 0;
|
||||
void populate_update_stack(expr* e);
|
||||
void clear_update_stack();
|
||||
void insert_update_stack(expr* e);
|
||||
bool insert_update_stack(expr* e);
|
||||
void insert_update(expr* e, bool is_bv);
|
||||
|
||||
bool_info& get_bool_info(expr* e);
|
||||
|
|
Loading…
Reference in a new issue