projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bug Fix: defining the scope of integer for Alloy
[satune.git]
/
src
/
AlloyEnc
/
alloyenc.h
diff --git
a/src/AlloyEnc/alloyenc.h
b/src/AlloyEnc/alloyenc.h
index 94d991e726548bf96f2988f66ecfae57731c8beb..dd93eb039f7d65e22f3359bfe5a90403687bce7b 100644
(file)
--- a/
src/AlloyEnc/alloyenc.h
+++ b/
src/AlloyEnc/alloyenc.h
@@
-16,6
+16,7
@@
public:
uint64_t getValue(Element * element);
~AlloyEnc();
private:
+ void dumpAlloyIntScope();
string encodeConstraint(BooleanEdge constraint);
int getResult();
string encodeBooleanLogic( BooleanLogic *bl);