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 f1756df7913c061b84f9936485d05b60d4b97022..636c2b3e500a0cbf2feeb28c4f8e8d0621274bdd 100644 (file)
--- a/src/AlloyEnc/signatureenc.h
+++ b/src/AlloyEnc/signatureenc.h
@@ -9,12 +9,14 @@ class SignatureEnc {
 public:
        SignatureEnc(AlloyEnc *_alloyEncoder);
        ~SignatureEnc();
-       void setValue(uint id, uint64_t value);
+       void setValue(uint id, uint value);
        ElementSig *getElementSignature(Element *element);
        BooleanSig *getBooleanSignature(Boolean *bvar);
        int getAlloyIntScope();
-       uint64_t getValue(Element *element);
+       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;