1 files changed, 14 insertions, 0 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index b6ba482b7..3f5e66492 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -164,6 +164,16 @@ class CVC4_PUBLIC Parser {
    */
   bool d_canIncludeFile;
 
+  /**
+   * Whether the logic has been forced with --force-logic.
+   */
+  bool d_logicIsForced;
+
+  /**
+   * The logic, if d_logicIsForced == true.
+   */
+  std::string d_forcedLogic;
+
   /** The set of operators available in the current logic. */
   std::set<Kind> d_logicOperators;
 
@@ -262,6 +272,10 @@ public:
   void disallowIncludeFile() { d_canIncludeFile = false; }
   bool canIncludeFile() const { return d_canIncludeFile; }
 
+  void forceLogic(const std::string& logic) { assert(!d_logicIsForced); d_logicIsForced = true; d_forcedLogic = logic; }
+  const std::string& getForcedLogic() const { return d_forcedLogic; }
+  bool logicIsForced() const { return d_logicIsForced; }
+
   /**
    * Returns a variable, given a name.
    *