projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
sparse or decompose
[satune.git]
/
src
/
ASTTransform
/
preprocess.h
diff --git
a/src/ASTTransform/preprocess.h
b/src/ASTTransform/preprocess.h
index ea9800d8e2b035b426c99e095b30af0485dbcfe5..2bca8bc734177c23d50706838421c69d03f80a9a 100644
(file)
--- a/
src/ASTTransform/preprocess.h
+++ b/
src/ASTTransform/preprocess.h
@@
-4,15
+4,15
@@
#include "transform.h"
class Preprocess : public Transform {
#include "transform.h"
class Preprocess : public Transform {
-
public:
+public:
Preprocess(CSolver *_solver);
~Preprocess();
void doTransform();
Preprocess(CSolver *_solver);
~Preprocess();
void doTransform();
-
+
CMEMALLOC;
CMEMALLOC;
-
private:
+private:
HashsetBoolean toremove;
HashsetBoolean toremove;
- void processBooleanVar(BooleanVar *
b);
+ void processBooleanVar(BooleanVar *b);
void resolveBooleanVars();
};
void resolveBooleanVars();
};