mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

remove some dependencies on parameter file

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2013-09-12 20:22:26 -07:00
parent 8ab04fb05b
commit 10e203da43
8 changed files with 19 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/muz/base/dl_context.cpp
View file

@ -289,6 +289,13 @@ namespace datalog {
bool context::magic_sets_for_queries() const { return m_params->magic_sets_for_queries(); }
bool context::eager_emptiness_checking() const { return m_params->eager_emptiness_checking(); }
bool context::bit_blast() const { return m_params->bit_blast(); }
bool context::karr() const { return m_params->karr(); }
bool context::scale() const { return m_params->scale(); }
bool context::magic() const { return m_params->magic(); }
bool context::quantify_arrays() const { return m_params->quantify_arrays(); }
bool context::instantiate_quantifiers() const { return m_params->instantiate_quantifiers(); }
void context::register_finite_sort(sort * s, sort_kind k) {
m_pinned.push_back(s);