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.cc
diff --git
a/src/AST/order.cc
b/src/AST/order.cc
index bf2e5662fb67e907e5d46d9e73a532f3a8bccdff..0944bcae0e3b5ae9602ce351bbc25faeffe54eaa 100644
(file)
--- a/
src/AST/order.cc
+++ b/
src/AST/order.cc
@@
-3,6
+3,7
@@
#include "set.h"
#include "boolean.h"
#include "ordergraph.h"
#include "set.h"
#include "boolean.h"
#include "ordergraph.h"
+#include "csolver.h"
Order::Order(OrderType _type, Set *_set) :
type(_type),
Order::Order(OrderType _type, Set *_set) :
type(_type),
@@
-26,6
+27,15
@@
void Order::setOrderEncodingType(OrderEncodingType type) {
order.type = type;
}
order.type = type;
}
+Order *Order::clone(CSolver *solver, CloneMap *map) {
+ Order *o = (Order *)map->get(this);
+ if (o != NULL)
+ return o;
+ o = solver->createOrder(type, set->clone(solver, map));
+ map->put(this, o);
+ return o;
+}
+
Order::~Order() {
if (orderPairTable != NULL) {
orderPairTable->resetanddelete();
Order::~Order() {
if (orderPairTable != NULL) {
orderPairTable->resetanddelete();