10 SignatureEnc(Interpreter *_interpreter);
12 void setValue(uint id, uint value);
13 ValuedSignature *getElementSignature(Element *element);
14 ValuedSignature *getBooleanSignature(Boolean *bvar);
15 int getValue(void *astnode);
16 uint64_t getMaxValue() { return maxValue;}
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 Interpreter *interpreter;