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 string encodeConstraint(BooleanEdge constraint);
24 string encodeBooleanLogic( BooleanLogic *bl);
25 string encodeBooleanVar( BooleanVar *bv);
26 string encodePredicate( BooleanPredicate *bp);
27 string encodeOperatorPredicate(BooleanPredicate *constraint);
28 string processElementFunction(ElementFunction *element, ElementSig *signature);
32 static const char * alloyFileName;
33 static const char * solutionFile;