projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
making the qsort deterministic for BooleanEdge
[satune.git]
/
src
/
AST
/
boolean.h
diff --git
a/src/AST/boolean.h
b/src/AST/boolean.h
index 9864d9bb3d39ff7ffcebb8ac01df2e5d93a9db80..1f218b2cd855fde36aeab02738bfd917cda6dd46 100644
(file)
--- a/
src/AST/boolean.h
+++ b/
src/AST/boolean.h
@@
-11,6
+11,8
@@
#include "serializer.h"
class Boolean : public ASTNode {
#include "serializer.h"
class Boolean : public ASTNode {
+private:
+ static uint64_t counter;
public:
Boolean(ASTNodeType _type);
virtual ~Boolean() {}
public:
Boolean(ASTNodeType _type);
virtual ~Boolean() {}
@@
-23,7
+25,7
@@
public:
BooleanValue boolVal;
Vector<Boolean *> parents;
virtual void updateParents() {}
BooleanValue boolVal;
Vector<Boolean *> parents;
virtual void updateParents() {}
-
+ uint64_t id;
CMEMALLOC;
};
CMEMALLOC;
};
@@
-56,6
+58,7
@@
public:
Boolean *clone(CSolver *solver, CloneMap *map);
void serialize(Serializer *serializer );
virtual void print();
Boolean *clone(CSolver *solver, CloneMap *map);
void serialize(Serializer *serializer );
virtual void print();
+ void updateParents();
Order *order;
uint64_t first;
Order *order;
uint64_t first;