Adding support for ElementFunction

[satune.git] / src / AlloyEnc / signature.h

diff --git a/src/AlloyEnc/signature.h b/src/AlloyEnc/signature.h
index 6dcb2e9c92f9ec492141a48216e90268b7f46a65..b3ebf47b84bbfba798b394e865fc7ca9301b7149 100644 (file)
--- a/src/AlloyEnc/signature.h
+++ b/src/AlloyEnc/signature.h
@@ -16,6 +16,19 @@ protected:
        uint id;
 };
 
+class BooleanSig: public Signature{
+public:
+       BooleanSig(uint id);
+       bool getValue();
+       void setValue(bool v) {value = v; }
+       virtual ~BooleanSig(){}
+       virtual string toString() const;
+       virtual string getSignature() const;
+private:
+       int value;
+       static bool encodeAbsSig;
+};
+
 class SetSig: public Signature{
 public:
        SetSig(uint id, Set *set);