+BooleanSig *SignatureEnc::getBooleanSignature(Boolean *bvar){
+ BooleanSig *bsig = (BooleanSig *)encoded.get((void *)bvar);
+ if(bsig == NULL){
+ bsig = new BooleanSig(signatures.getSize());
+ encoded.put(bvar, bsig);
+ signatures.push(bsig);
+ alloyEncoder->writeToFile(bsig->getSignature());
+ }
+ return bsig;
+}
+