10 SignatureEnc(AlloyEnc *_alloyEncoder);
12 void setValue(uint id, uint64_t value);
13 ElementSig *getElementSignature(Element *element);
14 BooleanSig *getBooleanSignature(Boolean *bvar);
15 int getAlloyIntScope();
16 uint64_t getValue(Element *element);
18 void updateMaxValue(Set *set);
20 Vector<Signature*> signatures;
21 AlloyEnc *alloyEncoder;