9 class AlloyBoolSig: public ValuedSignature{
11 AlloyBoolSig(uint id);
12 virtual ~AlloyBoolSig(){}
13 virtual string toString() const;
14 virtual string getAbsSignature() const;
15 virtual string getSignature() const;
17 static bool encodeAbs;
20 class AlloySetSig: public Signature{
22 AlloySetSig(uint id, Set *set);
23 virtual ~AlloySetSig(){}
24 virtual string toString() const;
25 virtual string getAbsSignature() const;
26 virtual string getSignature() const;
27 static bool encodeAbs;
32 class AlloyElementSig: public ValuedSignature{
34 AlloyElementSig(uint id, Signature *ssig);
35 virtual ~AlloyElementSig(){}
36 virtual string toString() const;
37 virtual string getAbsSignature() const;
38 virtual string getSignature() const;
41 static bool encodeAbs;