9 class SMTBoolSig : public ValuedSignature {
12 virtual ~SMTBoolSig() {}
13 virtual string toString() const;
14 virtual string getAbsSignature() const;
15 virtual string getSignature() const;
18 class SMTSetSig : public Signature {
20 SMTSetSig(uint id, Set *set);
21 virtual ~SMTSetSig() {}
22 virtual string toString() const;
23 virtual string getAbsSignature() const;
24 virtual string getSignature() const;
29 class SMTElementSig : public ValuedSignature {
31 SMTElementSig(uint id, SMTSetSig *ssig);
32 virtual ~SMTElementSig() {}
33 virtual string toString() const;
34 virtual string getAbsSignature() const;
35 virtual string getSignature() const;