- Adds a path for Theory to be passed a reference to Options.

- Adds 3 choices of heuristic variable orders to use in ArithPriorityQueue.
- Adds the pivot-rule command line option.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index b4c3a897b..85ea375f7 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -27,6 +27,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 #include "context/cdo.h"
+#include "util/options.h"
 
 #include <string>
 #include <iostream>
@@ -95,6 +96,8 @@ protected:
     d_out(&out) {
   }
 
+
+
   /**
    * This is called at shutdown time by the TheoryEngine, just before
    * destruction.  It is important because there are destruction
@@ -376,6 +379,8 @@ public:
    */
   virtual std::string identify() const = 0;
 
+  virtual void notifyOptions(const Options& opt) {}
+
   //
   // CODE INVARIANT CHECKING (used only with CVC4_ASSERTIONS)
   //