5 #include "signatureenc.h"
12 AlloyEnc(CSolver *solver);
15 void writeToFile(string str);
16 uint64_t getValue(Element * element);
19 void dumpAlloyIntScope();
20 string encodeConstraint(BooleanEdge constraint);
22 string encodeBooleanLogic( BooleanLogic *bl);
23 string encodePredicate( BooleanPredicate *bp);
24 string encodeOperatorPredicate(BooleanPredicate *constraint);
28 static const char * alloyFileName;
29 static const char * solutionFile;