#include "structs.h"
#include "mymemory.h"
-#include "order.h"
+#include "orderpair.h"
VectorImpl(Table, Table *, 4);
VectorImpl(Set, Set *, 4);
return key1 == key2;
}
-inline unsigned int BooleanOrder_hash_Function(BooleanOrder* This){
- return This->first ^ This->second;
+static inline unsigned int order_pair_hash_Function(OrderPair* This){
+ return (uint) (This->first << 2) ^ This->second;
}
-inline unsigned int BooleanOrder_equals(BooleanOrder* key1, BooleanOrder* key2){
+static inline unsigned int order_pair_equals(OrderPair* key1, OrderPair* key2){
return key1->first== key2->first && key1->second == key2->second;
}
-HashTableImpl(BoolConst, BooleanOrder *, Constraint *, BooleanOrder_hash_Function, BooleanOrder_equals);
+HashTableImpl(BoolConst, OrderPair *, OrderPair *, order_pair_hash_Function, order_pair_equals, ourfree);