projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge
[satune.git]
/
src
/
AST
/
order.h
diff --git
a/src/AST/order.h
b/src/AST/order.h
index 164578630697960e54f045cff417ed3fc80b2736..b8ca724b3c33d2747ea9cb505d3ce34203e67256 100644
(file)
--- a/
src/AST/order.h
+++ b/
src/AST/order.h
@@
-8,22
+8,23
@@
#include "boolean.h"
#include "orderpair.h"
#include "boolean.h"
#include "orderpair.h"
-class Order
{
-
public:
+class Order{
+public:
Order(OrderType type, Set *set);
Order(OrderType type, Set *set);
- ~Order();
+
virtual
~Order();
OrderType type;
Set *set;
OrderType type;
Set *set;
- HashTableOrderPair *orderPairTable;
- HashSetOrderElement* elementTable;
OrderGraph *graph;
OrderGraph *graph;
+ Order *clone(CSolver *solver, CloneMap *map);
+ void serialize(Serializer *serializer );
Vector<BooleanOrder *> constraints;
Vector<BooleanOrder *> constraints;
- OrderEncoding
order
;
- void
initializeOrderHashTable()
;
- void initializeOrderElementsHash
T
able();
+ OrderEncoding
encoding
;
+ void
setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;}
;
+ void initializeOrderElementsHash
t
able();
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
- MEMALLOC;
+ HashtableOrderPair* getOrderPairTable();
+ CMEMALLOC;
};
#endif
};
#endif