1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...

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

diff --git a/src/AlloyEnc/signatureenc.h b/src/AlloyEnc/signatureenc.h
index d98a636075df3135eca4a4c988232d6a793d1904..636c2b3e500a0cbf2feeb28c4f8e8d0621274bdd 100644 (file)
--- a/src/AlloyEnc/signatureenc.h
+++ b/src/AlloyEnc/signatureenc.h
@@ -9,12 +9,18 @@ class SignatureEnc {
 public:
        SignatureEnc(AlloyEnc *_alloyEncoder);
        ~SignatureEnc();
-       void setValue(uint id, uint64_t value);
+       void setValue(uint id, uint value);
        ElementSig *getElementSignature(Element *element);
-       uint64_t getValue(Element *element);
+       BooleanSig *getBooleanSignature(Boolean *bvar);
+       int getAlloyIntScope();
+       int getValue(void *astnode);
 private:
+       ValuedSignature *getValuedSignature(uint uniqueID){return (ValuedSignature*)signatures.get(uniqueID-1);}
+       uint getUniqueSigID(){return signatures.getSize() +1;}
+       void updateMaxValue(Set *set);
        CloneMap encoded;
        Vector<Signature*> signatures;
        AlloyEnc *alloyEncoder;
+       uint64_t maxValue;
 };
 #endif