1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...

[satune.git] / src / AlloyEnc / alloyenc.h

diff --git a/src/AlloyEnc/alloyenc.h b/src/AlloyEnc/alloyenc.h
index 94d991e726548bf96f2988f66ecfae57731c8beb..97049e2fefdbb60e733287d5eca0a3a4f80fde32 100644 (file)
--- a/src/AlloyEnc/alloyenc.h
+++ b/src/AlloyEnc/alloyenc.h
@@ -13,14 +13,19 @@ public:
        void encode();
        int solve();
        void writeToFile(string str);
-       uint64_t getValue(Element * element);
+       uint64_t getValue(Element *element);
+       bool getBooleanValue(Boolean *element);
        ~AlloyEnc();
 private:
+       void dumpAlloyFooter();
+       void dumpAlloyHeader();
        string encodeConstraint(BooleanEdge constraint);
        int getResult();
        string encodeBooleanLogic( BooleanLogic *bl);
+       string encodeBooleanVar( BooleanVar *bv);
        string encodePredicate( BooleanPredicate *bp);
        string encodeOperatorPredicate(BooleanPredicate *constraint);
+       string processElementFunction(ElementFunction *element, ElementSig *signature);
        CSolver *csolver;
        SignatureEnc sigEnc;
        ofstream output;