projects
/
satlib.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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