towards cloning

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index c1fd90b5ebd125b9f429527069149247e84857cb..115006f82faaad6403574304d6d4170be42ea42a 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -116,7 +116,7 @@ public:
        void replaceBooleanWithTrue(Boolean *bexpr);
        void replaceBooleanWithFalse(Boolean *bexpr);
        void replaceBooleanWithBoolean(Boolean *oldb, Boolean *newb);
        void replaceBooleanWithTrue(Boolean *bexpr);
        void replaceBooleanWithFalse(Boolean *bexpr);
        void replaceBooleanWithBoolean(Boolean *oldb, Boolean *newb);

-
+       CSolver * clone();

 
        MEMALLOC;
 
 
        MEMALLOC;