projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git]
/
src
/
ASTTransform
/
decomposeordertransform.h
diff --git
a/src/ASTTransform/decomposeordertransform.h
b/src/ASTTransform/decomposeordertransform.h
index 25aea89d4f0c797fa8d7baecafd3f523222550f9..1fe7356370686ff8428596814c106dd3862063ad 100644
(file)
--- a/
src/ASTTransform/decomposeordertransform.h
+++ b/
src/ASTTransform/decomposeordertransform.h
@@
-13,7
+13,7
@@
class DecomposeOrderTransform : public Transform {
public:
class DecomposeOrderTransform : public Transform {
public:
- DecomposeOrderTransform(CSolver* _solver, Order* order
, Tunables _tunable, TunableDesc* _desc
);
+ DecomposeOrderTransform(CSolver* _solver, Order* order);
virtual ~DecomposeOrderTransform();
void doTransform();
void setOrderGraph(OrderGraph* _graph){
virtual ~DecomposeOrderTransform();
void doTransform();
void setOrderGraph(OrderGraph* _graph){