Adding timeout for Alloy interpreter

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

diff --git a/src/AlloyEnc/alloyenc.h b/src/AlloyEnc/alloyenc.h
index 97049e2fefdbb60e733287d5eca0a3a4f80fde32..3edfdbf926d6546f27dac6a63210233c123b2e6e 100644 (file)
--- a/src/AlloyEnc/alloyenc.h
+++ b/src/AlloyEnc/alloyenc.h
@@ -19,6 +19,7 @@ public:
 private:
        void dumpAlloyFooter();
        void dumpAlloyHeader();
+       inline uint getTimeout();
        string encodeConstraint(BooleanEdge constraint);
        int getResult();
        string encodeBooleanLogic( BooleanLogic *bl);