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;