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.cc
diff --git
a/src/AST/boolean.cc
b/src/AST/boolean.cc
index c576268058f3b5203687a2d6cef9e496a90bcf2e..647f548d352f21e5a98c149ce519b427941099bc 100644
(file)
--- a/
src/AST/boolean.cc
+++ b/
src/AST/boolean.cc
@@
-5,11
+5,13
@@
#include "order.h"
#include "predicate.h"
#include "order.h"
#include "predicate.h"
+uint64_t Boolean::counter = 0;
+
Boolean::Boolean(ASTNodeType _type) :
ASTNode(_type),
polarity(P_UNDEFINED),
boolVal(BV_UNDEFINED),
Boolean::Boolean(ASTNodeType _type) :
ASTNode(_type),
polarity(P_UNDEFINED),
boolVal(BV_UNDEFINED),
- parents() {
+ parents()
, id(counter++)
{
}
BooleanConst::BooleanConst(bool _isTrue) :
}
BooleanConst::BooleanConst(bool _isTrue) :