projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
250304c
)
bug fix
author
bdemsky
<bdemsky@uci.edu>
Wed, 20 Mar 2019 23:44:35 +0000
(16:44 -0700)
committer
bdemsky
<bdemsky@uci.edu>
Wed, 20 Mar 2019 23:44:35 +0000
(16:44 -0700)
src/AST/order.h
patch
|
blob
|
history
diff --git
a/src/AST/order.h
b/src/AST/order.h
index d469cd97cc46537bd0851f8f6f079731f064a710..4badbdcb8da459e518002cd6069108b93eb31eb6 100644
(file)
--- a/
src/AST/order.h
+++ b/
src/AST/order.h
@@
-24,7
+24,6
@@
public:
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
HashtableOrderPair *getOrderPairTable();
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
HashtableOrderPair *getOrderPairTable();
- SetIterator64Int *getUsedIterator();
CMEMALLOC;
private:
Hashset64Int useditems;
CMEMALLOC;
private:
Hashset64Int useditems;
@@
-32,6
+31,7
@@
private:
public:
Vector<BooleanOrder *> *getConstraints() {return &constraints;}
uint getNumUsed() {return constraints.getSize();}
public:
Vector<BooleanOrder *> *getConstraints() {return &constraints;}
uint getNumUsed() {return constraints.getSize();}
+ SetIterator64Int *getUsedIterator() {return useditems.iterator();}
};
};