X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAlloyEnc%2Fsignature.h;h=e395ce3d35603ee0bab57ba0782c14bcf60b2f11;hp=b3ebf47b84bbfba798b394e865fc7ca9301b7149;hb=829b44197d915859a76704b501ebe14105b7585e;hpb=7c9674de2cb89d53417b40756b100292198c039e

diff --git a/src/AlloyEnc/signature.h b/src/AlloyEnc/signature.h
index b3ebf47..e395ce3 100644
--- a/src/AlloyEnc/signature.h
+++ b/src/AlloyEnc/signature.h
@@ -10,6 +10,7 @@ public:
 	Signature(uint _id):id(_id){}
 	string operator+(const string& s);
 	virtual string toString() const = 0;
+	virtual string getAbsSignature() const =0;
 	virtual string getSignature() const =0;
 	virtual ~Signature(){}
 protected:
@@ -23,10 +24,11 @@ public:
 	void setValue(bool v) {value = v; }
 	virtual ~BooleanSig(){}
 	virtual string toString() const;
+	virtual string getAbsSignature() const;
 	virtual string getSignature() const;
 private:
 	int value;
-	static bool encodeAbsSig;
+	static bool encodeAbs;
 };
 
 class SetSig: public Signature{
@@ -34,7 +36,9 @@ public:
 	SetSig(uint id, Set *set);
 	virtual ~SetSig(){}
 	virtual string toString() const;
+	virtual string getAbsSignature() const;
 	virtual string getSignature() const;
+	static bool encodeAbs;
 private:
 	string domain;
 };
@@ -46,10 +50,12 @@ public:
 	void setValue(uint64_t v){value = v;}
 	virtual ~ElementSig(){}
 	virtual string toString() const;
+	virtual string getAbsSignature() const;
 	virtual string getSignature() const;
 private:
 	SetSig *ssig;
 	uint64_t value;
+	static bool encodeAbs;
 };
 
 string operator+(const string& str, const Signature& sig);