src/AlloyEnc/signatureenc.h

   1 #ifndef SIGNATUREENC_H
   2 #define SIGNATUREENC_H
   3
   4 #include "classlist.h"
   5 #include "structs.h"
   6 #include "cppvector.h"
   7
   8 class SignatureEnc {
   9 public:
  10         SignatureEnc(AlloyEnc *_alloyEncoder);
  11         ~SignatureEnc();
  12         void setValue(uint id, uint64_t value);
  13         ElementSig *getElementSignature(Element *element);
  14         uint64_t getValue(Element *element);
  15 private:
  16         CloneMap encoded;
  17         Vector<Signature*> signatures;
  18         AlloyEnc *alloyEncoder;
  19 };
  20 #endif