Adding SMT Interpreters

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

diff --git a/src/Interpreter/signatureenc.h b/src/Interpreter/signatureenc.h
index b195d032eb9de69c89863f51032151cf404a7d93..988ac71c84af8ffc83a815d1a60d7ea8b2406d6d 100644 (file)
--- a/src/Interpreter/signatureenc.h
+++ b/src/Interpreter/signatureenc.h
@@ -7,13 +7,13 @@
 
 class SignatureEnc {
 public:
-       SignatureEnc(Interpreter *_alloyEncoder);
+       SignatureEnc(Interpreter *_interpreter);
        ~SignatureEnc();
        void setValue(uint id, uint value);
-       ElementSig *getElementSignature(Element *element);
-       BooleanSig *getBooleanSignature(Boolean *bvar);
-       int getAlloyIntScope();
+       ValuedSignature *getElementSignature(Element *element);
+       ValuedSignature *getBooleanSignature(Boolean *bvar);
        int getValue(void *astnode);
+       uint64_t getMaxValue(){ return maxValue;}
 private:
        ValuedSignature *getValuedSignature(uint uniqueID){return (ValuedSignature*)signatures.get(uniqueID-1);}
        uint getUniqueSigID(){return signatures.getSize() +1;}