X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAlloyEnc%2Fsignatureenc.h;h=636c2b3e500a0cbf2feeb28c4f8e8d0621274bdd;hp=f1756df7913c061b84f9936485d05b60d4b97022;hb=51799c65144abda2e95b5bab5a0af868b3378714;hpb=829b44197d915859a76704b501ebe14105b7585e

diff --git a/src/AlloyEnc/signatureenc.h b/src/AlloyEnc/signatureenc.h
index f1756df..636c2b3 100644
--- 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;