5 #include "signatureenc.h"
12 AlloyEnc(CSolver *solver);
15 void writeToFile(string str);
16 uint64_t getValue(Element *element);
17 bool getBooleanValue(Boolean *element);
20 void dumpAlloyFooter();
21 void dumpAlloyHeader();
22 inline uint getTimeout();
23 string encodeConstraint(BooleanEdge constraint);
25 string encodeBooleanLogic( BooleanLogic *bl);
26 string encodeBooleanVar( BooleanVar *bv);
27 string encodePredicate( BooleanPredicate *bp);
28 string encodeOperatorPredicate(BooleanPredicate *constraint);
29 string processElementFunction(ElementFunction *element, ElementSig *signature);
33 static const char * alloyFileName;
34 static const char * solutionFile;