Adding Support for BooleanVar

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

diff --git a/src/AlloyEnc/signatureenc.h b/src/AlloyEnc/signatureenc.h
index 76481954bd380bc3728c5f108b41dd3a0d690e20..f1756df7913c061b84f9936485d05b60d4b97022 100644 (file)
--- a/src/AlloyEnc/signatureenc.h
+++ b/src/AlloyEnc/signatureenc.h
@@ -11,6 +11,7 @@ public:
        ~SignatureEnc();
        void setValue(uint id, uint64_t value);
        ElementSig *getElementSignature(Element *element);
+       BooleanSig *getBooleanSignature(Boolean *bvar);
        int getAlloyIntScope();
        uint64_t getValue(Element *element);
 private: