src/Interpreter/smtsig.h

   1 #ifndef SMTSIG_H
   2 #define SMTSIG_H
   3 #include <string>
   4 #include <iostream>
   5 #include "signature.h"
   6 #include "classlist.h"
   7 using namespace std;
   8
   9 class SMTBoolSig : public ValuedSignature {
  10 public:
  11         SMTBoolSig(uint id);
  12         virtual ~SMTBoolSig() {}
  13         virtual string toString() const;
  14         virtual string getAbsSignature() const;
  15         virtual string getSignature() const;
  16 };
  17
  18 class SMTSetSig : public Signature {
  19 public:
  20         SMTSetSig(uint id, Set *set);
  21         virtual ~SMTSetSig() {}
  22         virtual string toString() const;
  23         virtual string getAbsSignature() const;
  24         virtual string getSignature() const;
  25 private:
  26         string constraint;
  27 };
  28
  29 class SMTElementSig : public ValuedSignature {
  30 public:
  31         SMTElementSig(uint id, SMTSetSig *ssig);
  32         virtual ~SMTElementSig() {}
  33         virtual string toString() const;
  34         virtual string getAbsSignature() const;
  35         virtual string getSignature() const;
  36 private:
  37         SMTSetSig *ssig;
  38 };
  39
  40 #endif