projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merging with branch master and fixing bugs
[satune.git]
/
src
/
AST
/
order.h
diff --git
a/src/AST/order.h
b/src/AST/order.h
index d60208ebc14c1360473cdfaf42142c3071f1c55c..f9bd69b5a3fdca34d6074a9c45399689ffd401bf 100644
(file)
--- a/
src/AST/order.h
+++ b/
src/AST/order.h
@@
-16,6
+16,7
@@
public:
Set *set;
HashTableOrderPair *orderPairTable;
OrderGraph *graph;
+ Order *clone(CSolver *solver, CloneMap *map);
Vector<BooleanOrder *> constraints;
OrderEncoding order;
void initializeOrderHashTable();