A few more miscellaneous uses of EnvObj (#7325)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 8 Oct 2021 16:36:55 +0000 (11:36 -0500)
committerGitHub <noreply@github.com>
Fri, 8 Oct 2021 16:36:55 +0000 (11:36 -0500)
commit1e6a6658573e0d11e7bac8fd51066f401c3aa25c
tree9ab6e8928456e1f888580734b6e09ec8934a7abe
parent601b23a59fbc60cd047522598db702ce44cf7f0a
A few more miscellaneous uses of EnvObj (#7325)
src/preprocessing/learned_literal_manager.cpp
src/preprocessing/learned_literal_manager.h
src/preprocessing/passes/non_clausal_simp.cpp
src/preprocessing/preprocessing_pass_context.cpp
src/preprocessing/preprocessing_pass_context.h
src/smt/smt_engine_state.cpp
src/smt/smt_engine_state.h