Bug Fix: defining the scope of integer for Alloy

[satune.git] / src / AlloyEnc / signatureenc.h

diff --git a/src/AlloyEnc/signatureenc.h b/src/AlloyEnc/signatureenc.h
index d98a636075df3135eca4a4c988232d6a793d1904..76481954bd380bc3728c5f108b41dd3a0d690e20 100644 (file)
--- a/src/AlloyEnc/signatureenc.h
+++ b/src/AlloyEnc/signatureenc.h
@@ -11,10 +11,13 @@ public:
        ~SignatureEnc();
        void setValue(uint id, uint64_t value);
        ElementSig *getElementSignature(Element *element);
+       int getAlloyIntScope();
        uint64_t getValue(Element *element);
 private:
+       void updateMaxValue(Set *set);
        CloneMap encoded;
        Vector<Signature*> signatures;
        AlloyEnc *alloyEncoder;
+       uint64_t maxValue;
 };
 #endif