MCPcopy Create free account
hub / github.com/Z3Prover/z3 / flush

Method flush

src/ast/expr_map.cpp:90–94  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

88}
89
90void expr_map::flush() {
91 reset();
92 m_expr2expr.finalize();
93 m_expr2pr.finalize();
94}

Callers 15

display_sat_resultMethod · 0.45
tst1Function · 0.45
tst3Function · 0.45
tst4Function · 0.45
bad_caseFunction · 0.45
tst1Function · 0.45
display_statisticsFunction · 0.45
tst_exact_divFunction · 0.45
tst1Method · 0.45
tst_lexFunction · 0.45
tst_prime_generatorFunction · 0.45
tst_theory_pbFunction · 0.45

Calls 2

resetFunction · 0.50
finalizeMethod · 0.45

Tested by 11

tst1Function · 0.36
tst3Function · 0.36
tst4Function · 0.36
bad_caseFunction · 0.36
tst1Function · 0.36
display_statisticsFunction · 0.36
tst_exact_divFunction · 0.36
tst1Method · 0.36
tst_lexFunction · 0.36
tst_prime_generatorFunction · 0.36
tst_theory_pbFunction · 0.36