src/Interpreter/alloysig.h

   1 #ifndef ALLOYSIG_H
   2 #define ALLOYSIG_H
   3 #include <string>
   4 #include <iostream>
   5 #include "signature.h"
   6 #include "classlist.h"
   7 using namespace std;
   8
   9 class AlloyBoolSig : public ValuedSignature {
  10 public:
  11         AlloyBoolSig(uint id);
  12         virtual ~AlloyBoolSig() {}
  13         virtual string toString() const;
  14         virtual string getAbsSignature() const;
  15         virtual string getSignature() const;
  16 private:
  17         static bool encodeAbs;
  18 };
  19
  20 class AlloySetSig : public Signature {
  21 public:
  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;
  28 private:
  29         string domain;
  30 };
  31
  32 class AlloyElementSig : public ValuedSignature {
  33 public:
  34         AlloyElementSig(uint id, Signature *ssig);
  35         virtual ~AlloyElementSig() {}
  36         virtual string toString() const;
  37         virtual string getAbsSignature() const;
  38         virtual string getSignature() const;
  39 private:
  40         Signature *ssig;
  41         static bool encodeAbs;
  42 };
  43
  44 #endif