1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...
[satune.git] / src / AlloyEnc / signatureenc.h
index f1756df..636c2b3 100644 (file)
@@ -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;