projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixing more bugs
[satune.git]
/
src
/
AST
/
order.h
diff --git
a/src/AST/order.h
b/src/AST/order.h
index e5f59838741fbc1e824333a2f2bb3e9fe8fd2033..cc8b45e4adc7774e6b3510ef66fa80309a82ebbd 100644
(file)
--- a/
src/AST/order.h
+++ b/
src/AST/order.h
@@
-14,17
+14,17
@@
public:
~Order();
OrderType type;
Set *set;
~Order();
OrderType type;
Set *set;
- HashTableOrderPair *orderPairTable;
- HashSetOrderElement *elementTable;
+ HashtableOrderPair *orderPairTable;
OrderGraph *graph;
Order *clone(CSolver *solver, CloneMap *map);
Vector<BooleanOrder *> constraints;
OrderGraph *graph;
Order *clone(CSolver *solver, CloneMap *map);
Vector<BooleanOrder *> constraints;
- OrderEncoding order;
- void initializeOrderHashTable();
- void initializeOrderElementsHashTable();
+ OrderEncoding encoding;
+ void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;};
+ void initializeOrderHashtable();
+ void initializeOrderElementsHashtable();
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
- MEMALLOC;
+
C
MEMALLOC;
};
#endif
};
#endif