diff options
Diffstat (limited to 'src/smt/logic_request.cpp')
-rw-r--r-- | src/smt/logic_request.cpp | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/smt/logic_request.cpp b/src/smt/logic_request.cpp new file mode 100644 index 000000000..a0b6d2bb9 --- /dev/null +++ b/src/smt/logic_request.cpp @@ -0,0 +1,17 @@ + + +#include "smt/logic_request.h" +#include "smt/smt_engine.h" + + +namespace CVC4 { + +/** Widen the logic to include the given theory. */ +void LogicRequest::widenLogic(theory::TheoryId id) { + d_smt.d_logic.getUnlockedCopy(); + d_smt.d_logic = d_smt.d_logic.getUnlockedCopy(); + d_smt.d_logic.enableTheory(id); + d_smt.d_logic.lock(); +} + +}/* CVC4 namespace */ |