+class BooleanSig: public Signature{
+public:
+ BooleanSig(uint id);
+ bool getValue();
+ 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 encodeAbs;
+};
+