Make integerencoding a completely separate pass... Fix issue of changing ordersets

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 1ff4cd113ef317860f116a74b45d291687e1dbae..7e8bbad871019bcc59f06d5e170de317fc2cae02 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -125,6 +125,7 @@ public:
        bool isUnSAT() { return unsat; }
 
        Vector<Order *> *getOrders() { return &allOrders;}
+       HashsetOrder * getActiveOrders() { return &activeOrders;}
 
        Tuner *getTuner() { return tuner; }
 
@@ -173,6 +174,8 @@ private:
        /** This is a vector of all order structs that we have allocated. */
        Vector<Order *> allOrders;
 
+       HashsetOrder activeOrders;
+       
        /** This is a vector of all function structs that we have allocated. */
        Vector<Function *> allFunctions;