X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FInterpreter%2Fsignatureenc.h;h=988ac71c84af8ffc83a815d1a60d7ea8b2406d6d;hp=b195d032eb9de69c89863f51032151cf404a7d93;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hpb=917bc08fb2d0ea78f6492323d52a4465b517809a;ds=sidebyside

diff --git a/src/Interpreter/signatureenc.h b/src/Interpreter/signatureenc.h
index b195d03..988ac71 100644
--- 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;}