10 SignatureEnc(AlloyEnc *_alloyEncoder);
12 void setValue(uint id, uint value);
13 ElementSig *getElementSignature(Element *element);
14 BooleanSig *getBooleanSignature(Boolean *bvar);
15 int getAlloyIntScope();
16 int getValue(void *astnode);
18 ValuedSignature *getValuedSignature(uint uniqueID){return (ValuedSignature*)signatures.get(uniqueID-1);}
19 uint getUniqueSigID(){return signatures.getSize() +1;}
20 void updateMaxValue(Set *set);
22 Vector<Signature*> signatures;
23 AlloyEnc *alloyEncoder;