Merging with branch Master

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 85da23e117e8c0e5b4f5c699bbc4f16209b8a3fc..a067b2fa1cb1495c7a4bba4329534e88efea5974 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -113,6 +113,7 @@ public:
        Vector<Order *> *getOrders() { return &allOrders;}
 
        Tuner *getTuner() { return tuner; }
+       Transformer* getTransformer() {return transformer;}
        
        SetIteratorBoolean *getConstraints() { return constraints.iterator(); }
 
@@ -124,6 +125,7 @@ public:
        CSolver *clone();
        void autoTune(uint budget);
 
+       void setTransformer(Transformer * _transformer) {  transformer = _transformer; }
        void setTuner(Tuner * _tuner) { tuner = _tuner; }
        long long getElapsedTime() { return elapsedTime; }
        long long getEncodeTime();
@@ -172,7 +174,7 @@ private:
        SATEncoder *satEncoder;
        bool unsat;
        Tuner *tuner;
-       
+       Transformer* transformer;
        long long elapsedTime;
 };
 #endif