Adding support for reading wrong assumptions
[satlib.git] / glucose-syrup / mtl / Clone.h
1 #ifndef Glucose_Clone_h
2 #define Glucose_Clone_h
3
4
5 namespace Glucose {
6
7     class Clone {
8         public:
9           virtual Clone* clone() const = 0;
10     };
11 };
12
13 #endif