projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Adding Transform object ... applying Brian's comments
[satune.git]
/
src
/
ASTTransform
/
transform.h
1
/*
2
* File: transform.h
3
* Author: hamed
4
*
5
* Created on August 26, 2017, 5:13 PM
6
*/
7
8
#ifndef TRANSFORM_H
9
#define TRANSFORM_H
10
11
#include "classlist.h"
12
#include "mymemory.h"
13
#include "structs.h"
14
15
class Transform {
16
public:
17
Transform();
18
~Transform();
19
void orderIntegerEncodingSATEncoder(CSolver *This, BooleanOrder *boolOrder);
20
MEMALLOC;
21
private:
22
HashTableOrderIntegerEncoding* orderIntegerEncoding;
23
};
24
25
#endif /* TRANSFORM_H */
26